]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.tabbed: re-add internal border
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 3 May 2023 18:09:02 +0000 (11:09 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 3 May 2023 18:09:02 +0000 (11:09 -0700)
commit3fb619e84aa95bfd200adff35b4691f9d57f557a
tree8c714093722a2f26439b25a531c8a1a70f1ea5d6
parentfe1f0f7f807889f95ca19a3aea771e00121ade2e
ui.gadgets.tabbed: re-add internal border
basis/ui/gadgets/tabbed/tabbed.factor
extra/color-picker-game/color-picker-game.factor
extra/color-picker/color-picker.factor