Commit 745445fe authored by Vincent Untz's avatar Vincent Untz

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
parent 3f10377b
......@@ -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]),
g_object_set_data (
G_OBJECT (priv->panel_buttons [i]), "double-click-detector",
double_click_detector_new ());
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment