File gnome-main-menu-theming-button.patch of Package gnome-main-menu

commit 745445fe410616dd42724b69aca234c21237c312
Author: Vincent Untz <vuntz@gnome.org>
Date:   Tue Jan 11 12:26:44 2011 +0100

    main-menu: Name the main menu button widgets
    
    With the move to GtkBuilder, we lost the names of the widgets, which
    broke theming.
    
    This will help with https://bugzilla.novell.com/show_bug.cgi?id=642956

diff --git a/main-menu/src/main-menu-ui.c b/main-menu/src/main-menu-ui.c
index 4fad445..b6f3504 100644
--- a/main-menu/src/main-menu-ui.c
+++ b/main-menu/src/main-menu-ui.c
@@ -513,6 +513,9 @@ create_panel_button (MainMenuUI *this)
 		priv->panel_button_ui, "slab-main-menu-panel-button-right"));
 
 	for (i = 0; i < 4; ++i) {
+		gtk_widget_set_name (GTK_WIDGET (priv->panel_buttons [i]),
+				     "slab-main-menu-panel-button");
+
 		g_object_set_data (
 			G_OBJECT (priv->panel_buttons [i]), "double-click-detector",
 			double_click_detector_new ());