summaryrefslogtreecommitdiffstats
path: root/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Button.java
diff options
context:
space:
mode:
authorAnatoly Spektor <aspektor@redhat.com>2013-02-18 14:53:25 -0500
committerAlexander Kurtakov <akurtako@redhat.com>2013-02-21 23:25:10 +0200
commit22fa45ac6dbb2092d2c5466d2ba94e8543ea83dd (patch)
tree35b28eb350822ee1340cbca07256093af3e92973 /bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Button.java
parent269e9bd88659168cd99ab994fb73a4e91595fd06 (diff)
downloadeclipse.platform.swt-22fa45ac6dbb2092d2c5466d2ba94e8543ea83dd.tar.gz
eclipse.platform.swt-22fa45ac6dbb2092d2c5466d2ba94e8543ea83dd.tar.xz
eclipse.platform.swt-22fa45ac6dbb2092d2c5466d2ba94e8543ea83dd.zip
Add css style to button to solve button's height clipping issue
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Button.java')
-rw-r--r--bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Button.java13
1 files changed, 13 insertions, 0 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Button.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Button.java
index 8282c908b3..690fd26c9a 100644
--- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Button.java
+++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Button.java
@@ -259,6 +259,19 @@ void createHandle (int index) {
fixedHandle = OS.g_object_new (display.gtk_fixed_get_type (), 0);
if (fixedHandle == 0) error (SWT.ERROR_NO_HANDLES);
gtk_widget_set_has_window (fixedHandle, true);
+ if (OS.GTK3) {
+ String button_css = ".button {\n" +
+ "-GtkButton-default-border : 0px;\n" +
+ "-GtkWidget-focus-line-width : 0px;\n" +
+ "-GtkWidget-focus-padding : 0px;\n" +
+ "padding-bottom: 0px;\n" +
+ "}" ;
+ byte[] data = Converter.wcsToMbcs (null, button_css, true);
+ long /*int*/ provider = OS.gtk_css_provider_new();
+ OS.gtk_css_provider_load_from_data(provider, data, -1, null);
+ OS.gtk_style_context_add_provider_for_screen (OS.gdk_screen_get_default(), provider, OS.GTK_STYLE_PROVIDER_PRIORITY_APPLICATION);
+ OS.g_object_unref (provider);
+ }
switch (style & bits) {
case SWT.ARROW:
int arrow_type = OS.GTK_ARROW_UP;