- bool changed = false;
-
- gint w = edit_controls_vbox.get_width();
- if (_group_tabs->is_mapped()) {
- w += _group_tabs->get_width ();
- }
-
- gint width = max (w, controls_layout.get_width());
-
- /* don't get too big. the fudge factors here are just guesses */
-
- width = min (width, (gint) (physical_screen_width(get_window()) - 300));
-
- if ((req->width != width) || (req->height != height)) {
- changed = true;
- controls_layout_size_request_connection.disconnect ();
- }
-
- if (req->width != width) {
- gint vbox_width = edit_controls_vbox.get_width();
- if (_group_tabs->is_mapped()) {
- vbox_width += _group_tabs->get_width();
- }
- req->width = width;