]> gitweb.factorcode.org Git - factor.git/commit
ui.tools: change Alt- to Ctrl-Shift- for tools.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 29 May 2020 21:59:45 +0000 (14:59 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 29 May 2020 21:59:45 +0000 (14:59 -0700)
commit9c3908e003c0aa2fb04e5e7c25a8a372a7fe2245
treeb3f060033541313d759ea6296790b97fe791a0e0
parent9287b05d57ee40c4e41f7c9c52a4c8f7ac25d6bc
ui.tools: change Alt- to Ctrl-Shift- for tools.
basis/ui/tools/debugger/debugger.factor
basis/ui/tools/operations/operations.factor