diff options
| author | Alexander Kurtakov | 2013-02-21 23:14:30 +0000 |
|---|---|---|
| committer | Carolyn MacLeod | 2013-04-09 14:53:22 +0000 |
| commit | 87f1637a6315827b33e161acc2b6738f597205e7 (patch) | |
| tree | 6afe4d43df3b9460969ff65d918f0e99e7b27fdd | |
| parent | 548e492ab12eaa79e322a0cba35ce48b71b070a6 (diff) | |
| download | eclipse.platform.swt-87f1637a6315827b33e161acc2b6738f597205e7.tar.gz eclipse.platform.swt-87f1637a6315827b33e161acc2b6738f597205e7.tar.xz eclipse.platform.swt-87f1637a6315827b33e161acc2b6738f597205e7.zip | |
Revert the css styling as it badly affects toolbar buttons on GTK3.
| -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; |