update notification when tab changed
authorca
Sat, 21 Jun 1997 12:21:22 +0200
changeset 168 8a79add2260f
parent 167 01cbd385f878
child 169 3a8b51cfb609
update notification when tab changed
UIPainter.st
--- a/UIPainter.st	Fri Jun 20 19:34:01 1997 +0200
+++ b/UIPainter.st	Sat Jun 21 12:21:22 1997 +0200
@@ -892,7 +892,7 @@
         ]
     ].
 
-    (builder componentAt:#noteBook) selection:tabSelection.
+    (builder componentAt:#noteBook) setSelection:tabSelection.
     self modifiedChannel value:false.
 ! !