From fc8a56f640ac075291aff1341a9041927d4cc707 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 31 Jul 2022 21:36:06 -0700 Subject: [PATCH] ui.gadgets.panes: fuse labels together with the same style --- basis/ui/gadgets/panes/panes.factor | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/basis/ui/gadgets/panes/panes.factor b/basis/ui/gadgets/panes/panes.factor index b94a37438a..138e4e9670 100644 --- a/basis/ui/gadgets/panes/panes.factor +++ b/basis/ui/gadgets/panes/panes.factor @@ -357,8 +357,10 @@ M: pane-stream stream-write-table : pane-bl ( style gadget -- ) swap " " apply-character-style add-gadget drop ; +TUPLE: styled-label < label style ; + : ( style text -- gadget ) -