From 17aa171ccff07983e0c3f53e49a6d0320e994ba8 Mon Sep 17 00:00:00 2001 From: Alexander Iljin Date: Tue, 21 Jun 2016 02:23:34 +0300 Subject: [PATCH] ui.tools.listener-docs: add TIP: about the Ctrl-Break feature --- basis/ui/tools/listener/listener-docs.factor | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/basis/ui/tools/listener/listener-docs.factor b/basis/ui/tools/listener/listener-docs.factor index d04c680b66..d5bd19366a 100644 --- 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: @@ -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"