# HG changeset patch
# User ca
# Date 866888482 -7200
# Node ID 8a79add2260f586c66b3bbaf9575e862a8cedb6a
# Parent  01cbd385f878681270ee73c18aa25d133e7d566b
update notification when tab changed

diff -r 01cbd385f878 -r 8a79add2260f 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.
 ! !