This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.
I added some font settings to my system/themes.xml but they didn't kick in. Eventually I figured that I had a -fontsize option on the runide cmdline and when I removed it the theme fonts kicked in. Seems like reordering of some initializatin processing is on order?
I am not aware of any change in priority. I think it was not changed. When -fontsize is set it overwrites not only size but also font in UIManager. See /core/src/org/netbeans/core/Main.java line 175. Before any change I would like to see some spec about this. Assigning to UI.
The -fontsize command line option should set the default (base) font size. It should not override any other font settings.
Given that themes are less useful now that Metal is no longer the default look and feel for most platforms, I don't see much point in changing this (note you can enable themes on non-metal look and feels - -J-Dnetbeans.useTheme=true). It's pretty non-obvious whether theme or -fontsize should win. If you want larger fonts + themes, just set them in the theme file and don't use -fontsize.
closed