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.

Bug 60065 - Default editor font size is 13 instead of 12
Summary: Default editor font size is 13 instead of 12
Status: VERIFIED FIXED
Alias: None
Product: editor
Classification: Unclassified
Component: -- Other -- (show other bugs)
Version: 5.x
Hardware: All All
: P2 blocker (vote)
Assignee: issues@editor
URL:
Keywords: REGRESSION
Depends on:
Blocks:
 
Reported: 2005-06-15 14:43 UTC by Roman Strobl
Modified: 2007-11-05 13:42 UTC (History)
0 users

See Also:
Issue Type: DEFECT
Exception Reporter:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Roman Strobl 2005-06-15 14:43:28 UTC 
[NetBeans 200506142000; WinXP; JDK 1.5.0_04]

Default font size has recently changed from 12 to 13. As agreed, we need to
change it back to 12.
Comment 1 Miloslav Metelka 2005-06-17 16:12:27 UTC 
UIManager.getFont("TextField.font") has changed value from previous 11 to
present 12. I've updated editor to not add +1 to that value which was need
originally to achieve the font size of 12.
Fixed in main trunk:
Checking in libsrc/org/netbeans/editor/SettingsDefaults.java;
/cvs/editor/libsrc/org/netbeans/editor/SettingsDefaults.java,v  <-- 
SettingsDefaults.java
new revision: 1.57; previous revision: 1.56
Comment 2 Roman Strobl 2005-07-07 13:54:35 UTC 
Verified in 200507061800.