diff options
Diffstat (limited to 'plugins/windowmenu')
| -rw-r--r-- | plugins/windowmenu/windowmenu.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/windowmenu/windowmenu.c b/plugins/windowmenu/windowmenu.c index 6331409c..13357d5e 100644 --- a/plugins/windowmenu/windowmenu.c +++ b/plugins/windowmenu/windowmenu.c @@ -375,7 +375,7 @@ static void window_menu_plugin_style_set (GtkWidget *widget, GtkStyle *previous_style) { - WindowMenuPlugin *plugin = XFCE_WINDOW_MENU_PLUGIN (widget); + WindowMenuPlugin *plugin = XFCE_WINDOW_MENU_PLUGIN (widget); /* let gtk update the widget style */ (*GTK_WIDGET_CLASS (window_menu_plugin_parent_class)->style_set) (widget, previous_style); |