ui.tools.listener-docs: add TIP: about the Ctrl-Break feature

diff --git a/basis/ui/tools/listener/listener-docs.factor b/basis/ui/tools/listener/listener-docs.factor
index d04c680b6659867370afd6e7e47c40c23bf972fe..d5bd19366a20ee807f24dc67b53526a43a4dbb12 100644 (file)
--- a/basis/ui/tools/listener/listener-docs.factor
+++ b/basis/ui/tools/listener/listener-docs.factor
@@ -1,7 +1,7 @@
-USING: help.markup help.syntax help.tips io kernel listener sequences
-ui.commands ui.gadgets.editors ui.gadgets.panes ui.operations
-ui.tools.common ui.tools.listener.completion vocabs vocabs.refresh
-words ;
+USING: help.markup help.syntax help.tips io kernel listener
+sequences system ui.commands ui.gadgets.editors ui.gadgets.panes
+ui.operations ui.tools.common ui.tools.listener.completion
+vocabs vocabs.refresh words ;
 IN: ui.tools.listener
 
 HELP: <listener-gadget>
@@ -97,4 +97,6 @@ TIP: "Scroll the listener from the keyboard by pressing " { $command listener-ga
 
 TIP: "Press " { $command tool "common" refresh-all } " or run " { $link refresh-all } " to reload changed source files from disk." ;
 
+TIP: "On Windows: use C+Break to interrupt tight loops in your code started in the listener, such as" { $code "[ t ] [ ] while" } "Caution: this may crash the Factor runtime if the code uses cooperative multitasking or asynchronous I/O." ;
+
 ABOUT: "ui-listener"