--- 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.
 ! !