This is fixable by adjusting the extra vertical space in the text area. Go to Utilities - Global Options - Text Area, then set the "Extra vertical line spacing (in pixels)" to 1 or 2 or 3, depending on which font and size you're using.
[bugs:#3400] Umlaute in Courier New Size 12 missing upper dots
Group: normal bug
Labels: text area and syntax packages
Created: Tue Feb 23, 2010 11:27 AM UTC by Andreas Riedel
Last Updated: Tue Feb 23, 2010 11:27 AM UTC
jEdit 4.3.1 server mode on Java 1.6.0_17
As you can see, I come from Germany. Here we have some Umlaute, you also call it this in English. Umlaute have upper dot: Ü
In the default font: Courier New size 12 the upper dots will not be printed. Losing the focus and return show the dots, but initial you can not see the dots.
With other font sizes it done well, I test 10 and 14. This only happens in size 12.
Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/bugs/
To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.