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.
Run IDE with bigger font size as following : 1. runide.sh -fontsize 18 2. mount filesystem 3. open source editor for a class. fontsize remains unchanged, hard coded fontsizes have to be removed. This is not accessible
I would like to ask: There are not hardcoded font sizes in editor. These could be changed by user without problems. Is necessary for accessibility to change fontsize when it is specified on command line, or is acceptable user can change it later? And, is possible to find out whether user specified it on command line?
I agree with Jan, this is not a bug, user always can customize editor fonts & colors in editor options. Requested behavior will be possible implement in NetBeans 4.0 (because of sessions), changing to "Enhancement".
Target milestone -> 3.3.1.
Set target milestone to TBD
This is still valid. It is true that users can change the editor font in Tools|Options but IMHO if the "--fontsize" parameter passes fontsize via command line then such a font size should propagate to editor the same way as in other components.
Mito, could you please take care of this? Thanks.
In fresh netbeans user dir, parameter --fontsize will propagate. However when you once changed font-size in options, it has a higher priority than --fontsize. It should be changed.
In current version (7.1) there is no hard coded font size. These are priorities from up (highest priority) to down font size defined in editor/options font size from --fontsize font size = 13 That means, if you changed editor/options then --fontsize will not change font size. However, if you never changed editor/options then --fontsize if it is sent as parameter will change size. That is also expected behavior.