]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.labels: make labels integer larger than text.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 18 May 2020 03:44:21 +0000 (20:44 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 18 May 2020 03:44:21 +0000 (20:44 -0700)
commit0b294c5d50207cbbbd27b4acda9b89304e761153
tree6845881c62e83bc071b4545baff6606db417196f
parent65d7e3fad1734a5b566d3f6c408514151bc07756
ui.gadgets.labels: make labels integer larger than text.
basis/ui/gadgets/labels/labels.factor