Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlexander Kurtakov2013-02-21 18:14:30 -0500
committerAlexander Kurtakov2013-02-21 18:14:30 -0500
commit3bb4101efeae63bdbff26e7a10e22c5a9d1a92d5 (patch)
treedba5702245b1521e9db4d0820e0d4765cce069d7 /bundles
parent22fa45ac6dbb2092d2c5466d2ba94e8543ea83dd (diff)
downloadeclipse.platform.swt-3bb4101efeae63bdbff26e7a10e22c5a9d1a92d5.tar.gz
eclipse.platform.swt-3bb4101efeae63bdbff26e7a10e22c5a9d1a92d5.tar.xz
eclipse.platform.swt-3bb4101efeae63bdbff26e7a10e22c5a9d1a92d5.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.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 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;

Back to the top