changeset 758 | 1370f99f4c09 |
parent 754 | 04e802a6a920 |
child 760 | ca9488ba9876 |
--- a/UIPainterView.st Tue Mar 31 20:24:01 1998 +0200 +++ b/UIPainterView.st Tue Mar 31 20:26:18 1998 +0200 @@ -1236,8 +1236,8 @@ "change selection to something " (self enabled and:[something ~= self selection]) ifTrue:[ + treeView cvsSelection:something. self setSelection:something withRedraw:true. - treeView cvsSelection:something ] !