]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.editors: can just use preedit-start>> as boolean.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 27 May 2020 19:52:45 +0000 (12:52 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 27 May 2020 19:52:45 +0000 (12:52 -0700)
commit32fa57736840cc0eff377c7af34a3508a2acf292
tree1d875ffe7046d928b9fd99a5b8b27e4a125a43c2
parent258d7e05d668b564345e99ad764d556589d59a98
ui.gadgets.editors: can just use preedit-start>> as boolean.
basis/ui/gadgets/editors/editors.factor