]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools: remove C+q for quit.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 29 Mar 2021 22:04:25 +0000 (15:04 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 29 Mar 2021 22:04:25 +0000 (15:04 -0700)
basis/ui/tools/tools.factor

index ca0331a83614eefdc77e8559034a49631d0a158c..b24cecb08201647b9e3a326811eb360bab012f6c 100644 (file)
@@ -22,7 +22,6 @@ tool "tool-switching" f {
 } define-command-map
 
 tool "common" f {
-    { T{ key-down f ${ os macosx? M+ A+ ? } "q" } com-exit }
     { T{ key-down f f "F2" } refresh-all }
     { T{ key-down f f "F3" } show-error-list }
 } os macosx? {