--- a/UIObjectView.st Mon Jul 20 13:18:24 1998 +0200
+++ b/UIObjectView.st Mon Jul 20 18:15:07 1998 +0200
@@ -567,6 +567,7 @@
super showGrid
].
+ "Modified: / 20.7.1998 / 18:14:51 / cg"
!
map
@@ -577,10 +578,30 @@
self showSelection.
!
+mapped
+ "make certain that the input view is on top.
+ "
+ super mapped.
+ inputView raise.
+
+ "Created: / 20.7.1998 / 18:10:20 / cg"
+ "Modified: / 20.7.1998 / 18:11:32 / cg"
+!
+
realize
super realize.
self windowGroup postEventHook:self
+!
+
+remap
+ "make the view visible on the screen and in case of a none empty
+ selection the selection will be shown.
+ "
+ super remap.
+ self halt.
+
+ "Created: / 20.7.1998 / 18:08:48 / cg"
! !
!UIObjectView methodsFor:'misc'!