[jedit:bugs] #4005 Nimbus 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/a3a92e458c3cf316294b48f123e5b0f4176a78c7.bugs@jedit.p.sourceforge.net> |
- **summary**: Odd change of help viewer font after change of text area font --> Nimbus L&F: Odd change of help viewer font after change of text area font --- ** [bugs:#4005] Nimbus 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:** Tue Sep 20, 2022 10:19 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