shutdown the menus before the plugins are unloaded
This commit is contained in:
parent
888c3d1f6a
commit
237a12749f
1 changed files with 1 additions and 1 deletions
|
@ -266,6 +266,7 @@ int main(int argc, char **argv)
|
||||||
dock_remove_all();
|
dock_remove_all();
|
||||||
client_unmanage_all();
|
client_unmanage_all();
|
||||||
|
|
||||||
|
menu_shutdown(); /* destroy menus before unloading plugins */
|
||||||
plugin_shutdown(); /* calls all the plugins' shutdown functions */
|
plugin_shutdown(); /* calls all the plugins' shutdown functions */
|
||||||
mouse_shutdown();
|
mouse_shutdown();
|
||||||
keyboard_shutdown();
|
keyboard_shutdown();
|
||||||
|
@ -275,7 +276,6 @@ int main(int argc, char **argv)
|
||||||
screen_shutdown();
|
screen_shutdown();
|
||||||
focus_shutdown();
|
focus_shutdown();
|
||||||
moveresize_shutdown();
|
moveresize_shutdown();
|
||||||
menu_shutdown();
|
|
||||||
window_shutdown();
|
window_shutdown();
|
||||||
grab_shutdown();
|
grab_shutdown();
|
||||||
event_shutdown();
|
event_shutdown();
|
||||||
|
|
Loading…
Reference in a new issue