MiniDebugger.st
changeset 20846 69db65101d7e
parent 20843 e144b279147d
child 20849 4b91a44518c3
--- a/MiniDebugger.st	Sat Nov 05 13:25:16 2016 +0100
+++ b/MiniDebugger.st	Sat Nov 05 13:27:58 2016 +0100
@@ -46,12 +46,12 @@
     or if CTRL-C is pressed in the controlling tty/console.
     Needs a console.
 
-    MiniDebugger enter
+        MiniDebugger enter
 
     Attention:
-        all printing is done via lowLevelErrorPrint,
-        to ensure that output is to stderr, even if a logger is present, or
-        Stderr has been set to some other stream (Transcript).
+        all printing is done via lowLevel _errorPrint messages,
+        to ensure that output is to stderr, even if a logger is present, 
+        or Stderr has been set to some other stream (Transcript).
         Also to avoid the logger's interfering and adding imestamp information.
         
     [author:]