aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlexander Kurtakov2013-02-21 18:14:30 (EST)
committerCarolyn MacLeod2013-04-09 10:53:22 (EDT)
commit87f1637a6315827b33e161acc2b6738f597205e7 (patch)
tree6afe4d43df3b9460969ff65d918f0e99e7b27fdd
parent548e492ab12eaa79e322a0cba35ce48b71b070a6 (diff)
downloadeclipse.platform.swt-87f1637a6315827b33e161acc2b6738f597205e7.zip
eclipse.platform.swt-87f1637a6315827b33e161acc2b6738f597205e7.tar.gz
eclipse.platform.swt-87f1637a6315827b33e161acc2b6738f597205e7.tar.bz2
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.java26
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 690fd26..3315ad5 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;