From 47996b3215ab2f471c14fa81a21dbdcfa4ce6000 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Mon, 7 Mar 2011 15:08:26 -0800 Subject: [PATCH] ui.tools: adding Ctrl-Shift-F for "toggle fullscreen". --- basis/ui/tools/tools.factor | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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