]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.panes: fuse labels together with the same style
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 1 Aug 2022 04:36:06 +0000 (21:36 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 1 Aug 2022 04:36:06 +0000 (21:36 -0700)
commitfc8a56f640ac075291aff1341a9041927d4cc707
treebaa23457821fce63acede7bb01a31b8c0a365599
parent543e6d493359f88fac498f55bdc6f1fb8ea310ce
ui.gadgets.panes: fuse labels together with the same style
basis/ui/gadgets/panes/panes.factor