diff options
| author | Eric Williams | 2017-10-13 13:31:30 +0000 |
|---|---|---|
| committer | Eric Williams | 2017-10-13 13:36:44 +0000 |
| commit | 06c8813f7326155289469803c378321127e0982c (patch) | |
| tree | 30f907e587ff848f77865590324a1e237931940e /bundles/org.eclipse.swt/Eclipse SWT | |
| parent | 1214ce986a75b5dc365bc0c2694bfe2e87cb5f4f (diff) | |
| download | eclipse.platform.swt-06c8813f7326155289469803c378321127e0982c.tar.gz eclipse.platform.swt-06c8813f7326155289469803c378321127e0982c.tar.xz eclipse.platform.swt-06c8813f7326155289469803c378321127e0982c.zip | |
Bug 487522: [GTK3.20] Entries/Text widgets have smaller heights
Fix Text widget padding so that themes that support
gtk_style_context_get_padding() don't have massive Text widgets.
Change-Id: I716062c6da6304c967342441a273b0bff3f8bfbd
Signed-off-by: Eric Williams <ericwill@redhat.com>
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT')
| -rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Text.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Text.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Text.java index eb41b01ef9..fb15c9592e 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Text.java +++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Text.java @@ -619,7 +619,7 @@ Rectangle computeTrimInPixels (int x, int y, int width, int height) { trim.x -= tmp.left; trim.y -= tmp.top; trim.width += tmp.left + tmp.right; - if (OS.GTK_VERSION >= OS.VERSION (3, 20, 0)) { + if (tmp.bottom == 0 && tmp.top == 0) { Point widthNative = computeNativeSize(handle, trim.width, SWT.DEFAULT, true); trim.height = widthNative.y; } else { |