]> gitweb.factorcode.org Git - factor.git/commit
Revert "ui.gadgets.editors: adding Ctrl-u support."
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 6 Jun 2020 23:19:51 +0000 (16:19 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 6 Jun 2020 23:19:51 +0000 (16:19 -0700)
commite446f3428051efe6d53338cd9e931b8fd80c3061
tree61fa5090ae3e0bf8ed532ba7fc952644eda56274
parent5c04baf75797f94e695cb45d5677b69aaf3473f4
Revert "ui.gadgets.editors: adding Ctrl-u support."

This reverts commit 046d128c979988af86808c65568a29a12d1f63d6.
basis/ui/gadgets/editors/editors.factor