]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.editors: round to gl-scales.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 28 Dec 2021 20:15:44 +0000 (12:15 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 28 Dec 2021 20:15:44 +0000 (12:15 -0800)
commit30a96ebf116ea6c18ac5252e9c144dec4c63c7fe
tree29fa5404a6a8774966c5f8aec84f1e54907f8ef5
parent7049bcd70423897653dbcc04675ed283e7ff8434
ui.gadgets.editors: round to gl-scales.
basis/ui/gadgets/editors/editors.factor