ui.tools: make refresh-all command interruptible with Ctrl-Break

char-rename
Alexander Iljin 2016-06-16 12:33:49 +03:00 committed by John Benediktsson
parent cf4f0ada11
commit 2e49ffe6bd
1 changed files with 8 additions and 5 deletions

View File

@ -1,13 +1,16 @@
! Copyright (C) 2006, 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: memory system kernel vocabs.refresh ui.tools.operations
ui.tools.listener ui.tools.browser ui.tools.common ui.tools.error-list
ui.tools.walker ui.commands ui.gestures ui ui.private ;
USING: kernel listener memory system ui ui.commands ui.gestures
ui.private ui.tools.browser ui.tools.common ui.tools.error-list
ui.tools.listener ui.tools.operations ui.tools.walker
vocabs.refresh ;
IN: ui.tools
MAIN: listener-window
\ refresh-all H{ { +nullary+ t } { +listener+ t } } define-command
: refresh-all-cmd ( -- ) [ refresh-all ] with-ctrl-break ;
\ refresh-all-cmd H{ { +nullary+ t } { +listener+ t } } define-command
\ save H{ { +nullary+ t } } define-command
@ -26,6 +29,6 @@ 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 "F2" } refresh-all-cmd }
{ T{ key-down f f "F3" } show-error-list }
} define-command-map