Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEric Williams2017-10-13 13:31:30 +0000
committerEric Williams2017-10-13 13:36:44 +0000
commit06c8813f7326155289469803c378321127e0982c (patch)
tree30f907e587ff848f77865590324a1e237931940e /bundles/org.eclipse.swt/Eclipse SWT
parent1214ce986a75b5dc365bc0c2694bfe2e87cb5f4f (diff)
downloadeclipse.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.java2
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 {

Back to the top