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);
}