changeset 788 | 8f9f3c3fcf60 |
parent 787 | c47746d622b7 |
child 794 | 212bc7e46765 |
--- a/UIPainter.st Sun Apr 19 20:44:42 1998 +0200 +++ b/UIPainter.st Mon Apr 20 00:22:38 1998 +0200 @@ -2676,6 +2676,9 @@ |painter layout spec prop key layoutTool| + self modifiedChannel value:false. + modified := true. + painter := self painter. self isLayoutToolSelected ifTrue:[ @@ -2705,11 +2708,10 @@ ]. spec activeHelpKey:key. ] ifFalse:[ - painter updateFromSpec:spec. + painter updateFromSpec:spec ] - ]. - self modifiedChannel value:false. - modified := true. + ] + ! addWidget: aSpecClass