static void menu_detach (GtkWidget * wid, gpointer none) { mg_detach (current_sess, 0); }
static void menu_detach(GtkWidget *wid, gpointer none) { mg_detach(window_current, 0); }