diff options
| author | Andrey Loskutov | 2016-12-20 12:36:17 +0000 |
|---|---|---|
| committer | Alexander Kurtakov | 2016-12-21 13:42:26 +0000 |
| commit | e59cd42af855b4d347e249fdf0f5145863f4e01e (patch) | |
| tree | 093cc8c5546a85bdf0ffa092824df3caca5bc539 | |
| parent | 7c67f3c77bf4f0e40176a9d7f0b0b8f855d2468b (diff) | |
| download | eclipse.platform.swt-e59cd42af855b4d347e249fdf0f5145863f4e01e.tar.gz eclipse.platform.swt-e59cd42af855b4d347e249fdf0f5145863f4e01e.tar.xz eclipse.platform.swt-e59cd42af855b4d347e249fdf0f5145863f4e01e.zip | |
Bug 507604 - use smaller toolbar/button padding for pre-3.20 GTK
The toolbar padding of 4 pixel (both top/bottom) is overkill, we should
use 2 pixel, similar to GTK 3.20 version.
Change-Id: If69a69355fab836a3d541f31da767bb761a33326
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
| -rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/Device.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/Device.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/Device.java index c0cd834934..dcb55c3fd4 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/Device.java +++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/Device.java @@ -708,8 +708,8 @@ protected void init () { if (screen != 0 && provider != 0) { if (OS.GTK_VERSION < OS.VERSION(3, 20, 0)) { css = - "GtkToolbar {padding-top: 4px; padding-bottom: 4px;}\n" - + "GtkToolbar GtkButton {padding: 2px 4px 3px 4px;}\n" + "GtkToolbar {padding-top: 2px; padding-bottom: 2px;}\n" + + "GtkToolbar GtkButton {padding: 2px 4px 2px 4px;}\n" + ".undershoot.top, .undershoot.right, .undershoot.bottom, .undershoot.left {background-image: none;}\n" + "GtkToolbar GtkMenuButton {padding: 1px 0px 1px 0px;}\n"; } else { |