]> gitweb.factorcode.org Git - factor.git/commit
Revert "ui.gadgets.editors: remove extra spaces."
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 22 Aug 2016 14:52:47 +0000 (07:52 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 22 Aug 2016 14:53:08 +0000 (07:53 -0700)
commitfdcbf0d11004561e0b25b90c6359a0a3f774955c
tree02631b78a11ff8d76143cd929289bd2398fc278f
parent351838fcff13ccd12c10047fcdba28eea32aee56
Revert "ui.gadgets.editors: remove extra spaces."

This reverts commit 7a4e345f6c199b8ddfb7faec2121a2dc80ab1da6.
basis/ui/gadgets/editors/editors.factor