static void layout_change (void) { setup_panels (); layout_do_change = 0; /* re-init the menu, because perhaps there was a change in the way how the panel are split (horizontal/vertical). */ done_menu (); init_menu (); menubar_arrange (the_menubar); }
void done_pd(t_x11 *x11, t_pulldown *pd) { int i; for (i = 0; (i < pd->nmenu); i++) { done_menu(x11, pd->m[i]); } x11->UnRegisterCallback(x11, pd->wd.self); sfree(pd->m); sfree(pd->xpos); }