From 237a12749f30287ee07420a62e71b442fe0bec15 Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Thu, 14 Aug 2003 05:58:11 +0000 Subject: [PATCH] shutdown the menus before the plugins are unloaded --- openbox/openbox.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/openbox/openbox.c b/openbox/openbox.c index 5c28fcf6..6656304a 100644 --- a/openbox/openbox.c +++ b/openbox/openbox.c @@ -266,6 +266,7 @@ int main(int argc, char **argv) dock_remove_all(); client_unmanage_all(); + menu_shutdown(); /* destroy menus before unloading plugins */ plugin_shutdown(); /* calls all the plugins' shutdown functions */ mouse_shutdown(); keyboard_shutdown(); @@ -275,7 +276,6 @@ int main(int argc, char **argv) screen_shutdown(); focus_shutdown(); moveresize_shutdown(); - menu_shutdown(); window_shutdown(); grab_shutdown(); event_shutdown(); -- 2.39.2