--- a/DebugView.st	Mon Feb 17 12:23:28 2020 +0100
+++ b/DebugView.st	Mon Feb 17 15:53:04 2020 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1989 by Claus Gittinger
               All Rights Reserved
@@ -2885,7 +2887,9 @@
     "/ done in the #enter:select method.
     "/ You are not expected to understand this.
 
-    self exit_unwindThenDo:[ AbortOperationRequest raise ]
+    self exit_unwindThenDo:[ AbortOperationRequest raiseRequest ]
+
+    "Modified: / 15-02-2020 / 19:48:10 / Stefan Vogel"
 !
 
 exit_abortAll
@@ -9077,7 +9081,7 @@
                 ]
             ].
 
-            s := Text streamContents:[:s | aContext printWithSeparator:' » ' on:s ].
+            s := Text streamContents:[:s | aContext printWithSeparator:' » ' on:s ].
             "/ s infoPrintCR.
             RememberedCallChain notNil ifTrue:[
                 (RememberedCallChain includesIdentical:aContext) ifTrue:[
@@ -10981,7 +10985,7 @@
 
 printConditionOn:aStream
     ignoredSendingClassAndSelectors notEmptyOrNil ifTrue:[
-        aStream nextPutAll:(' if called from %1 » %2'
+        aStream nextPutAll:(' if called from %1 » %2'
                                 bindWith:ignoredSendingClassAndSelectors first first
                                 with:ignoredSendingClassAndSelectors first second).
         ^ self.