]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets: formatting.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 16 May 2020 17:07:35 +0000 (10:07 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 16 May 2020 17:07:35 +0000 (10:07 -0700)
commitb3412e89309d304433eb86c6c1d1a76ee21d6f66
tree953cd66193c3a25b16f2c0a38eb17c968f58cafa
parent33e72abff95a776f2ed13460a40c02e03e3492ca
ui.gadgets: formatting.
basis/ui/gadgets/borders/borders.factor
basis/ui/gadgets/editors/editors.factor
basis/ui/gadgets/line-support/line-support.factor
basis/ui/gadgets/packs/packs.factor