]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.operations: switch back to previous (non-shift) keybindings.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 31 Mar 2021 03:35:35 +0000 (20:35 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 31 Mar 2021 03:35:35 +0000 (20:35 -0700)
commitf8726b8817fd139728c1074b483554ff20ddd546
treeaf4dc01794dc13781a47596dbf2d4957cf2d24de
parent4f7298ccdbd273c5ff96d307f074386f24c085dd
ui.tools.operations: switch back to previous (non-shift) keybindings.
basis/ui/tools/operations/operations.factor