--- a/DeviceWorkstation.st	Thu May 03 16:38:48 2018 +0200
+++ b/DeviceWorkstation.st	Thu May 03 18:02:03 2018 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
 COPYRIGHT (c) 1993 by Claus Gittinger
 	      All Rights Reserved
@@ -4964,20 +4966,20 @@
 !
 
 dispatchPendingEvents
-    "go dispatch events as long as there is one.
-     This is only used with modal operation.
-     (i.e. when in the modal debugger)"
+    "go dispatch events as long as there is one."
 
     OSSignalInterrupt handle:[:ex |
-	ex return
+        ex return
     ] do:[
-	[self eventPending] whileTrue:[
-	    self dispatchEventFor:nil withMask:nil.
-	    "/ multi-screen config: give others a chance
-	    "/ (needed because we run at high (non-timesliced) prio)
-	    Processor yield.
-	]
+        [self eventPending] whileTrue:[
+            self dispatchEventFor:nil withMask:nil.
+            "/ multi-screen config: give others a chance
+            "/ (needed because we run at high (non-timesliced) prio)
+            Processor yield.
+        ]
     ]
+
+    "Modified (comment): / 03-05-2018 / 17:42:09 / stefan"
 !
 
 disposeButtonEventsFor:aViewIdOrNil