]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.tabbed: fix up background
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 3 May 2023 17:26:44 +0000 (10:26 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 3 May 2023 17:26:44 +0000 (10:26 -0700)
commit212d33073dc6600d3753a9ed8e33c2620e10e267
tree5fa4d34e732ee19575de4f103d5b158593171044
parent7622fb0f6d60aff6601f332857620a411a049a03
ui.gadgets.tabbed: fix up background
basis/ui/gadgets/tabbed/tabbed.factor