--- a/UIPainter.st Mon Jan 24 16:34:28 2000 +0100
+++ b/UIPainter.st Mon Jan 24 17:37:26 2000 +0100
@@ -2436,15 +2436,22 @@
raiseTabView
self isLayoutToolSelected ifTrue:[
- layoutCanvas raise
+ helpCanvas unmap.
+ specCanvas unmap.
+ layoutCanvas realize.
] ifFalse:[
- self isHelpToolSelected ifTrue:[
- helpCanvas raise
- ] ifFalse:[
- self specTool selection:tabSelection.
- specCanvas raise
- ]
+ self isHelpToolSelected ifTrue:[
+ layoutCanvas unmap.
+ specCanvas unmap.
+ helpCanvas realize.
+ ] ifFalse:[
+ layoutCanvas unmap.
+ helpCanvas unmap.
+ specCanvas realize.
+ specCanvas application selection:tabSelection.
+ ]
]
+
!
raiseUIView:aView