From 0c28ccfce9713493a1375a20c58692fb06f1487f Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 31 Jul 2022 21:52:04 -0700 Subject: [PATCH] ui.gadgets.panes: relayout when changing label contents --- basis/ui/gadgets/panes/panes.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/ui/gadgets/panes/panes.factor b/basis/ui/gadgets/panes/panes.factor index 138e4e9670..69d9557b6d 100644 --- a/basis/ui/gadgets/panes/panes.factor +++ b/basis/ui/gadgets/panes/panes.factor @@ -376,7 +376,7 @@ M: styled-pane pane-label style>> "" ; : pane-text ( string style gadget -- ) dup find-styled-label [ pick over style>> = ] [ f f ] if* [ - 2nip [ prepend ] change-text drop + 2nip [ prepend ] change-text relayout ] [ drop [ swap ] [ swap add-gadget drop ] bi* ] if ; -- 2.34.1