if (a) {
_cfg_box->show ();
} else {
+ const int child_height = _cfg_box->get_height ();
_cfg_box->hide ();
+ Gtk::Requisition wr;
+ get_size (wr.width, wr.height);
+ wr.height -= child_height;
+ resize (wr.width, wr.height);
}
return false;
}
if (a) {
_pgm_box->show ();
} else {
+ const int child_height = _pgm_box->get_height ();
_pgm_box->hide ();
+ Gtk::Requisition wr;
+ get_size (wr.width, wr.height);
+ wr.height -= child_height;
+ resize (wr.width, wr.height);
}
return false;
}