diff options
author | Nick Schermer <nick@xfce.org> | 2010-02-26 14:08:28 +0100 |
---|---|---|
committer | Nick Schermer <nick@xfce.org> | 2010-02-26 14:11:50 +0100 |
commit | 1bba9a0296968aee1631c9700a6fbfed1bed4029 (patch) | |
tree | 9c031c6a9391eab61a00efc885fac0d791d436dd /plugins/windowmenu | |
parent | f4c4a30e948f77753bca470265533e0eeae275fc (diff) | |
download | xfce4-panel-1bba9a0296968aee1631c9700a6fbfed1bed4029.tar.gz |
Draw separator handle in correct direction.
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); |