[jedit:bugs] #4005 Nimbus or GTK+ L&F: Odd change of help viewer font after change of text area font
Alan Ezust via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/bugs/4005/026482b0e9f8b76225fab079ff3c0917767db56b.bugs@jedit.p.sourceforge.net> |
- **summary**: Nimbus L&F: Odd change of help viewer font after change of text area font --> Nimbus or GTK+ L&F: Odd change of help viewer font after change of text area font --- ** [bugs:#4005] Nimbus or GTK+ L&F: 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:** Fri Nov 11, 2022 03:10 PM 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