]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.editors: adding Ctrl-u support.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 28 May 2020 03:01:33 +0000 (20:01 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 28 May 2020 03:01:33 +0000 (20:01 -0700)
commit046d128c979988af86808c65568a29a12d1f63d6
tree6de33fb83d4a2e7a381ed2c0921b001a96e186cd
parent928b4c6abcb012fc8ad4963a3976ab88d0ade741
ui.gadgets.editors: adding Ctrl-u support.
basis/ui/gadgets/editors/editors.factor