--- a/DeviceWorkstation.st	Tue Nov 11 15:31:05 2003 +0100
+++ b/DeviceWorkstation.st	Fri Nov 14 17:17:32 2003 +0100
@@ -3789,11 +3789,20 @@
 destroyedView:aView
     "forward a destroyed event for some view"
 
+    |sensor|
+
     aView isNil ifTrue:[
-	"/ event arrived, after I destroyed it myself
-	^ self
-    ].
-    aView sensor destroyedView:aView
+        "/ event arrived, after I destroyed it myself
+        ^ self
+    ].
+
+    "/ this one has special treatment - the destroyed could
+    "/ (in certain situations) arrive after the view has shutdown its
+    "/ sensor.
+    sensor := aView sensor.
+    sensor notNil ifTrue:[
+        sensor destroyedView:aView
+    ].
 !
 
 exposeX:x y:y width:w height:h view:aView
@@ -7306,7 +7315,7 @@
 !DeviceWorkstation class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.448 2003-10-09 12:48:28 penk Exp $'
+    ^ '$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.449 2003-11-14 16:17:32 cg Exp $'
 ! !
 
 DeviceWorkstation initialize!