Ticket #3526: patch

File patch, 1.4 KB (added by garnacho, 12 years ago)

patch for sugar WebKit, unfortunately not suitable for upstream

  • Source/WebCore/platform/gtk/RenderThemeGtk3.cpp 

    diff --git a/Source/WebCore/platform/gtk/RenderThemeGtk3.cpp b/Source/WebCore/platform/gtk/RenderThemeGtk3.cpp
index 5413bb7..7095308 100644
    a b static GtkStyleContext* getStyleContext(GType widgetType) 
    111111    gtk_style_context_set_path(context.get(), path);
    112112    gtk_widget_path_free(path);
    113113
     114    /* Empty out everything possibly toggled by
     115     * the user theme and left unset in Raleigh
     116     */
     117    GtkCssProvider *provider = gtk_css_provider_new ();
     118    gtk_css_provider_load_from_data (provider,
     119                                     "* { "
     120                                     "  background: none;"
     121                                     "  border-image: none;"
     122                                     "  border-radius: 0px;"
     123                                     "}",
     124                                     -1, NULL);
     125    gtk_style_context_add_provider (context.get(), GTK_STYLE_PROVIDER (provider),
     126                                    GTK_STYLE_PROVIDER_PRIORITY_APPLICATION - 1);
     127
     128    /* Force the default theme */
     129    provider = gtk_css_provider_get_named ("Raleigh", NULL);
     130    gtk_style_context_add_provider (context.get(), GTK_STYLE_PROVIDER (provider),
     131                                    GTK_STYLE_PROVIDER_PRIORITY_APPLICATION);
     132
    114133    result.iterator->second = context;
    115134    return context.get();
    116135}