]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.panes: relayout when changing label contents
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 1 Aug 2022 04:52:04 +0000 (21:52 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 1 Aug 2022 04:52:04 +0000 (21:52 -0700)
commit0c28ccfce9713493a1375a20c58692fb06f1487f
tree92af9a91321a7342596956c80f7d3a407d678b41
parentfc8a56f640ac075291aff1341a9041927d4cc707
ui.gadgets.panes: relayout when changing label contents
basis/ui/gadgets/panes/panes.factor