]> gitweb.factorcode.org Git - factor.git/commit
ui: minor style tweaks/fixes.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 31 Mar 2021 03:22:20 +0000 (20:22 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 31 Mar 2021 03:22:46 +0000 (20:22 -0700)
commitdee676e2d02e14ed1cc6795920afb98675851cc3
tree3e19bc17e52456fb5e88579da87bf45679af8891
parent5a0079add1a371760402b1b4a74d96aeb7362f0b
ui: minor style tweaks/fixes.
basis/ui/gadgets/editors/editors.factor
basis/ui/tools/tools.factor