--- a/MiniDebugger.st Sat Oct 01 17:08:56 2016 +0200
+++ b/MiniDebugger.st Sat Oct 01 17:11:59 2016 +0200
@@ -40,9 +40,10 @@
documentation
"
a primitive (non graphical) debugger for use on systems without
- graphics or when the real debugger dies (i.e. an error occurs in
- the graphical debugger or the UI/event handler is broken).
- Also, if an interrupt occurs within the debuger, this one is called for.
+ graphics or when the real debugger dies
+ (i.e. an error occurs in the graphical debugger or the UI/event handler is broken).
+ This one is also called for, if an interrupt occurs within the debuger,
+ or if CTRL-C is pressed in the controlling tty/console.
Needs a console.
MiniDebugger enter