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

Tweak UI shortcuts a bit to not clash with F8 being reserved for Spaces in Leopard

release
Slava Pestov 2007-11-24 16:58:31 -05:00
parent c84577e86f
commit 10db300895
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
extra/ui/tools/tools.factor
View File

@ -67,11 +67,11 @@ M: workspace model-changed
: com-profiler profiler-gadget select-tool ;
workspace "tool-switching" f {
{ T{ key-down f f "F2" } com-listener }
{ T{ key-down f f "F3" } com-browser }
{ T{ key-down f f "F4" } com-inspector }
{ T{ key-down f f "F5" } com-walker }
{ T{ key-down f f "F6" } com-profiler }
{ T{ key-down f { C+ } "1" } com-listener }
{ T{ key-down f { C+ } "2" } com-browser }
{ T{ key-down f { C+ } "3" } com-inspector }
{ T{ key-down f { C+ } "4" } com-walker }
{ T{ key-down f { C+ } "5" } com-profiler }
} define-command-map
\ workspace-window
@ -86,8 +86,8 @@ H{ { +nullary+ t } { +listener+ t } } define-command
workspace "workflow" f {
{ T{ key-down f { C+ } "n" } workspace-window }
{ T{ key-down f f "ESC" } hide-popup }
{ T{ key-down f f "F8" } refresh-all }
{ T{ key-down f { A+ } "F8" } test-changes }
{ T{ key-down f f "F2" } refresh-all }
{ T{ key-down f { A+ } "F2" } test-changes }
} define-command-map
[