]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.borders: round border-pref-dim
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 3 Jan 2022 20:47:10 +0000 (12:47 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 3 Jan 2022 20:47:10 +0000 (12:47 -0800)
commit3e69b18d360e3d38de015d1c123c7c4e9f9d8b87
tree231c8d6bb2b1000724065d4f7fe651c4bf96a723
parent10629c1982090619c93d35035ebca08686778468
ui.gadgets.borders: round border-pref-dim
basis/ui/gadgets/borders/borders.factor