Skip to content
Snippets Groups Projects
Commit d58b7351 authored by Simon Steinbeiss's avatar Simon Steinbeiss
Browse files

panel-plugin: Block panel autohide if the menu is open

parent 560a960e
No related branches found
No related tags found
No related merge requests found
...@@ -1695,4 +1695,9 @@ G_GNUC_END_IGNORE_DEPRECATIONS ...@@ -1695,4 +1695,9 @@ G_GNUC_END_IGNORE_DEPRECATIONS
0, 0,
gtk_get_current_event_time ()); gtk_get_current_event_time ());
#endif #endif
#ifdef XFCE_PLUGIN
xfce_panel_plugin_register_menu (button->priv->plugin,
GTK_MENU (menu));
#endif
} }
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment