diff --git a/libs/widgets/pane.cc b/libs/widgets/pane.cc index 7bbdd7ecff..a671a0c82e 100644 --- a/libs/widgets/pane.cc +++ b/libs/widgets/pane.cc @@ -321,7 +321,7 @@ Pane::reallocate (Gtk::Allocation const & alloc) } else { child_alloc.set_height (max (child_alloc.get_height(), (*child)->minsize)); } - } else if ((*child)->w->is_visible ()) { + } else if (!check_fract && (*child)->w->is_visible ()) { if (horizontal) { child_alloc.set_width (max (child_alloc.get_width(), cr.width)); } else {