steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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

db4
John Benediktsson 2011-03-07 15:08:26 -08:00
parent 604f242862
commit 47996b3215
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
basis/ui/tools/tools.factor
View File

@ -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
} define-command-map