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.
Created attachment 138117 [details] img_01 1. Go to Tool>Options>Editor 2. Compare margin of text between Tool>Options>Miscellaneos (for example) > Text margin of panel is different (see img_01, img_02) Product Version: NetBeans IDE Dev (Build 201307312300) Java: 1.7.0_25; Java HotSpot(TM) 64-Bit Server VM 23.25-b03 Runtime: Java(TM) SE Runtime Environment 1.7.0_25-b34 System: Linux version 3.8.0-19-generic running on amd64; UTF-8; en_US (nb)
Created attachment 138118 [details] img_02
This issue is only in GTK laf. TabbedController should probably set special margin if LAF is GTK.
TabbedController just displays a panel that some client gives. It is up to the client to produce the desired layout. For example I see that there is no margin set in the GeneralEditorPanel. Editor options's panels should be modified, see for example FileAssociationsPanel in core.ui module. re-assigning for evaluation. Thank you
http://hg.netbeans.org/jet-main/rev/51408bb4b1f2
Verified: Product Version: NetBeans IDE Dev (Build 201308290001) Java: 1.7.0_40; Java HotSpot(TM) 64-Bit Server VM 24.0-b55 Runtime: Java(TM) SE Runtime Environment 1.7.0_40-b39 System: Linux version 3.8.0-19-generic running on amd64; UTF-8; en_US (nb)