[jedit:bugs] #4005 Odd change of help viewer font after change of text area font
J L Turriff via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/bugs/4005/6bd1f3bb069a7b9585ecdfa8e24d626c77f53f1c.bugs@jedit.p.sourceforge.net> |
A similar issue happens for me with jEdit 5.6.0. When it starts up the fonts in the main window are set according to Global Appearance, but the fonts in other windows that I open (help, file browser, utility, etc.) are almost too small to read. Toggling the size of any of the three fonts in Global => Appearance makes their sizes all conformant to the Appearance setting until the editor is closed; the next time it is opened, the tiny fonts are back. --- ** [bugs:#4005] Odd change of help viewer font after change of text area font** **Status:** open **Group:** minor bug **Created:** Sun Jul 17, 2016 07:44 PM UTC by Makarius **Last Updated:** Mon Oct 09, 2017 05:29 AM UTC **Owner:** nobody This is jEdit trunk 24461 with jdk-8u92 on Linux. With Nimbus or GTK+ L&F the following odd behaviour can be seen in the help viewer. Starting situation: help viewer font 36px and main text area font 36px. Now open the help viewer. Keep it open while changing the main text area font to 24px: the help viewer font is somehow reset as well. Closing help and re-opening it gets back to the 36px help viewer font. Nothing like that happens for Metal L&F. --- Sent from sourceforge.net because [email protected] 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. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel