UIObjectView.st
changeset 1833 6ad211a201cf
parent 1829 35409df5492a
child 1861 4c173871788a
--- a/UIObjectView.st	Wed Apr 07 16:33:10 2004 +0200
+++ b/UIObjectView.st	Wed Apr 07 17:56:31 2004 +0200
@@ -468,6 +468,9 @@
 
 !UIObjectView methodsFor:'event handling'!
 
+doublePressed:pressPoint
+!
+
 elementChangedSize:aView
     "some element has changed its size; collect them during selectionHiddenLevel 
      is on