Add editor-specific whitespace character visibility preference

[xkr47]

The editor should provide a preference setting for overriding the default "Show whitespace characters" so that users can choose a setting different from other text editors.

reported by Jürgen