ui.tools: adding Ctrl-Shift-F for "toggle fullscreen".

diff --git a/basis/ui/tools/tools.factor b/basis/ui/tools/tools.factor
index 1b5fcb50c43a9f86ac3f1f0526d7d911ffcddea7..eddcf0dd4142f90206ffffccf7f2301e40b585a8 100644 (file)
--- 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