--- a/DeviceWorkstation.st	Mon Nov 21 17:44:08 1994 +0100
+++ b/DeviceWorkstation.st	Tue Nov 22 15:30:57 1994 +0100
@@ -34,7 +34,7 @@
 COPYRIGHT (c) 1993 by Claus Gittinger
 	      All Rights Reserved
 
-$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.20 1994-11-17 14:29:18 claus Exp $
+$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.21 1994-11-22 14:30:32 claus Exp $
 '!
 
 !DeviceWorkstation class methodsFor:'documentation'!
@@ -55,7 +55,7 @@
 
 version
 "
-$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.20 1994-11-17 14:29:18 claus Exp $
+$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.21 1994-11-22 14:30:32 claus Exp $
 "
 !
 
@@ -1279,14 +1279,6 @@
 		    inputSema wait.
 		].
 
-		"
-		 in case of an error in the dispatch (i.e. WSensor
-		 is broken) AND user presses abort in the debugger,
-		 we want to continue here.
-		"
-		Object abortSignal catch:[
-		    self dispatchPendingEvents.
-		].
 		self dispatchPendingEvents.
 		self checkForEndOfDispatch.
 
@@ -1317,10 +1309,8 @@
 !
 
 dispatchPendingEvents
-    Object abortSignal catch:[
-	[self eventPending] whileTrue:[
-	    self dispatchEventFor:nil withMask:nil
-	]
+    [self eventPending] whileTrue:[
+	self dispatchEventFor:nil withMask:nil
     ]
 !