client_unmanage_all();
plugin_shutdown(); /* calls all the plugins' shutdown functions */
+ menu_shutdown();
mouse_shutdown();
keyboard_shutdown();
dock_shutdown();
screen_shutdown();
focus_shutdown();
moveresize_shutdown();
- menu_shutdown();
window_shutdown();
grab_shutdown();
event_shutdown();