]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools: make refresh-all command interruptible with Ctrl-Break
authorAlexander Iljin <ajsoft@yandex.ru>
Thu, 16 Jun 2016 09:33:49 +0000 (12:33 +0300)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 1 Nov 2016 23:53:01 +0000 (16:53 -0700)
basis/ui/tools/tools.factor

index eddcf0dd4142f90206ffffccf7f2301e40b585a8..480eec1af617375caa1c6f4ed330c2e2f652e0f7 100644 (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