diff --git a/basis/ui/tools/tools.factor b/basis/ui/tools/tools.factor index 1b5fcb50c4..eddcf0dd41 100644 --- a/basis/ui/tools/tools.factor +++ b/basis/ui/tools/tools.factor @@ -24,7 +24,8 @@ tool "tool-switching" f { tool "common" f { { T{ key-down f { A+ } "w" } close-window } + { T{ key-down f { A+ } "F" } toggle-fullscreen } { T{ key-down f { A+ } "q" } com-exit } { T{ key-down f f "F2" } refresh-all } { T{ key-down f f "F3" } show-error-list } -} define-command-map \ No newline at end of file +} define-command-map