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

Summary:	Default editor font size is 13 instead of 12
Product:	editor	Reporter:	Roman Strobl <rstrobl>
Component:	-- Other --	Assignee:	issues@editor <issues>
Status:	VERIFIED FIXED
Severity:	blocker	Keywords:	REGRESSION
Priority:	P2
Version:	5.x
Hardware:	All
OS:	All
Issue Type:	DEFECT	Exception Reporter:

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.