From: John Benediktsson Date: Mon, 1 Aug 2022 04:52:04 +0000 (-0700) Subject: ui.gadgets.panes: relayout when changing label contents X-Git-Tag: 0.99~1242 X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=0c28ccfce9713493a1375a20c58692fb06f1487f ui.gadgets.panes: relayout when changing label contents --- 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 ;