Matthias Becker

This was already proposed in https://bugs.eclipse.org/bugs/show_bug.cgi?id=578213

org.eclipse.jface.text.WhitespaceCharacterPainter is the place where the whitespace char drawing happens

> Should we push next available character to make space for it ? so that drawing happens on later stage.. But there are challenges on how to achieve this !...

> Should we push next available character to make space for it ? so that drawing happens on later stage. Maybe we could do it similar like it's done for...

> The difference is that for the code minings we need additional vertical space for the none-width chars we need additional horizontal space. That's not true. See for example [InlinedAnnotationDemo.java](https://github.com/eclipse-platform/eclipse.platform.ui/blob/master/examples/org.eclipse.jface.text.examples/src/org/eclipse/jface/text/examples/sources/inlined/InlinedAnnotationDemo.java)...

> > The difference is that for the code minings we need additional vertical space for the none-width chars we need additional horizontal space. > > That's not true. See...

> 2. There is a white space character preference page, the question is, whether we should add ZWSP? I Would say yes. > In contradiction the white space pref page...

> Ah, the whitespace pref page is very detailed. Refer to [#1002 (comment)](https://github.com/eclipse-platform/eclipse.platform.ui/issues/1002#issuecomment-1787297264). So we can add a setting for ZWSP. This preference page is located in org.eclipse.ui.editors. See; https://github.com/eclipse-platform/eclipse.platform.ui/blob/44efc1d09a56d4c83a5f529b64aee54a757394f9/bundles/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorDefaultsPreferencePage.java#L408...

failed again for https://github.com/eclipse-platform/eclipse.platform/pull/1068

> Is there a shortage? you mean "outage"?