From: Kevin Cope Date: Sun, 16 May 2021 02:43:22 +0000 (+0800) Subject: Adds some documentation for gesture mapping X-Git-Tag: 0.99~1654 X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=232aefe3884f42a63d03ff7b390eb0c5f79b95c2 Adds some documentation for gesture mapping --- diff --git a/basis/ui/tools/button-list/button-list-docs.factor b/basis/ui/tools/button-list/button-list-docs.factor index 0a743c144f..e3d6693b0b 100644 --- a/basis/ui/tools/button-list/button-list-docs.factor +++ b/basis/ui/tools/button-list/button-list-docs.factor @@ -3,3 +3,6 @@ IN: ui.tools.button-list HELP: show-active-buttons-popup { $description "Displays a popup window for fuzzy selection of any labeled button in any window of the session." } ; + +HELP: com-show-active-buttons +{ $description "Mapped to a keyboard gesture to execute " { $link show-active-buttons-popup } "." } ; diff --git a/basis/ui/tools/tools.factor b/basis/ui/tools/tools.factor index 3f2d6f5704..6185702005 100644 --- a/basis/ui/tools/tools.factor +++ b/basis/ui/tools/tools.factor @@ -38,6 +38,28 @@ tool "common" f { { T{ key-down f f "F11" } toggle-fullscreen } } ? prepend define-command-map + +tool "tool-switching" f { + { T{ key-down f ${ os macosx? M+ A+ ? } "l" } show-listener } + { T{ key-down f ${ os macosx? M+ A+ ? } "L" } listener-window } + { T{ key-down f ${ os macosx? M+ A+ ? } "b" } show-browser } + { T{ key-down f ${ os macosx? M+ A+ ? } "B" } browser-window } +} define-command-map + +tool "common" f { + { T{ key-down f ${ os macosx? M+ C+ ? } "w" } close-window } + { T{ key-down f ${ os macosx? M+ C+ ? } "q" } com-exit } + { T{ key-down f { A+ } "f" } com-show-active-buttons } + { T{ key-down f f "F2" } refresh-all } + { T{ key-down f f "F3" } show-error-list } +} os macosx? { + { T{ key-down f { C+ M+ } "f" } toggle-fullscreen } +} { + { T{ key-down f { C+ } "F4" } close-window } + { T{ key-down f { A+ } "F4" } com-exit } + { T{ key-down f f "F11" } toggle-fullscreen } +} ? prepend define-command-map + : ui-tools-main ( -- ) f ui-stop-after-last-window? set-global listener-window ;