]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.editors: allow all editors to have default text.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 24 Oct 2017 17:05:09 +0000 (10:05 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 24 Oct 2017 17:05:09 +0000 (10:05 -0700)
commit02d6c8df1ff2f1c2604b5301010ea923a23cd1e2
treecb33d556f982178d42adb46bdfa2550569480bad
parent26b7b20622e3266ac47e63ebee6ee06cf9f7399a
ui.gadgets.editors: allow all editors to have default text.
basis/ui/gadgets/editors/editors.factor