From c9f40a0bf5b9d627d194f6bc9f81f44083d5d5c4 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Wed, 26 Jan 2022 22:30:35 +0100
Subject: [PATCH] Fix pane size for widgets that explicitly allow 0 size

Amend 1aca71e22b2bf6a2c897d3b07175811f28f6e4ba
---
 libs/widgets/pane.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 {