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