diff options
| author | Alexander Kurtakov | 2013-02-21 23:14:30 +0000 |
|---|---|---|
| committer | Lakshmi Shanmugam | 2013-02-28 08:26:16 +0000 |
| commit | 8ad6973d699e081ede4b03288c98f3f9d38d10e8 (patch) | |
| tree | ee0e59dc26c75904ff9a68e7aa9cb9503533fbb7 /bundles | |
| parent | d4095a93b8dc5b32530f4a9295b8ff92a22f1377 (diff) | |
| download | eclipse.platform.swt-8ad6973d699e081ede4b03288c98f3f9d38d10e8.tar.gz eclipse.platform.swt-8ad6973d699e081ede4b03288c98f3f9d38d10e8.tar.xz eclipse.platform.swt-8ad6973d699e081ede4b03288c98f3f9d38d10e8.zip | |
Revert the css styling as it badly affects toolbar buttons on GTK3.
Diffstat (limited to 'bundles')
| -rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Button.java | 26 |
1 files changed, 13 insertions, 13 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 690fd26c9a..3315ad5e6e 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,19 +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); - } +// 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; |