]> gitweb.factorcode.org Git - factor.git/blob - basis/ui/tools/tools.factor
8f096d0c3d4cb1a43faf16c0acec440964aa100c
[factor.git] / basis / ui / tools / tools.factor
1 ! Copyright (C) 2006, 2009 Slava Pestov.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: memory namespaces system ui ui.backend ui.commands
4 ui.gestures ui.tools.browser ui.tools.common ui.tools.error-list
5 ui.tools.listener vocabs.refresh ;
6 IN: ui.tools
7
8 \ refresh-all H{ { +nullary+ t } { +listener+ t } } define-command
9
10 \ save H{ { +nullary+ t } } define-command
11
12 : com-exit ( -- ) 0 exit ;
13
14 \ com-exit H{ { +nullary+ t } } define-command
15
16 tool "tool-switching" f {
17     { T{ key-down f { A+ } "l" } show-listener }
18     { T{ key-down f { A+ } "L" } listener-window }
19     { T{ key-down f { A+ } "b" } show-browser }
20     { T{ key-down f { A+ } "B" } browser-window }
21 } define-command-map
22
23 tool "common" f {
24     { T{ key-down f { A+ } "w" } close-window }
25     { T{ key-down f { A+ } "F" } toggle-fullscreen }
26     { T{ key-down f { A+ } "q" } com-exit }
27     { T{ key-down f f "F2" } refresh-all }
28     { T{ key-down f f "F3" } show-error-list }
29 } define-command-map
30
31 : ui-tools-main ( -- )
32     f ui-stop-after-last-window? set-global
33     listener-window ;
34
35 MAIN: ui-tools-main