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 233778

Summary:	Different text margin in option dialog
Product:	editor	Reporter:	ssazonov
Component:	Options	Assignee:	Milutin Kristofic <mkristofic>
Status:	VERIFIED FIXED
Severity:	normal	Keywords:	GTK, L&F
Priority:	P3
Version:	7.4
Hardware:	PC
OS:	Linux
Issue Type:	DEFECT	Exception Reporter:
Attachments:	img_01 img_02

Description ssazonov 2013-08-01 12:37:45 UTC

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)

Comment 1 ssazonov 2013-08-01 12:38:02 UTC

Created attachment 138118 [details]
img_02

Comment 2 Milutin Kristofic 2013-08-01 13:54:37 UTC

This issue is only in GTK laf. TabbedController should probably set special margin if LAF is GTK.

Comment 3 Theofanis Oikonomou 2013-08-13 08:13:13 UTC

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

Comment 4 Milutin Kristofic 2013-08-20 15:30:30 UTC

http://hg.netbeans.org/jet-main/rev/51408bb4b1f2

Comment 5 ssazonov 2013-08-29 14:57:23 UTC

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)