diff options
author | Eric Williams | 2017-10-13 13:59:27 +0000 |
---|---|---|
committer | Eric Williams | 2017-10-13 13:59:27 +0000 |
commit | 9e64d9d1913a4def07f05ad2eebc45d6f5190c73 (patch) | |
tree | c6db18978196e5ac4127be34701a201c8f040153 | |
parent | 82c2f0f51f19de579553e802f8013bbd0fd0bf3e (diff) | |
download | eclipse.platform.swt-9e64d9d1913a4def07f05ad2eebc45d6f5190c73.tar.gz eclipse.platform.swt-9e64d9d1913a4def07f05ad2eebc45d6f5190c73.tar.xz eclipse.platform.swt-9e64d9d1913a4def07f05ad2eebc45d6f5190c73.zip |
Bug 487522: [GTK3.20] Entries/Text widgets have smaller heights
Backport of fixes that prevent Text widgets from being to big on other
themes.
Change-Id: I39d376a3f2fecf1fabe3cd67578e93b44583c497
Signed-off-by: Eric Williams <ericwill@redhat.com>
-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 2d4478c527..284c4af9c8 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 @@ -620,7 +620,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 { |