changeset 1444 | fec7424dccda |
parent 1442 | ed108e53c783 |
child 1453 | 0cf534cc29a9 |
1443:ba75957c7bfc | 1444:fec7424dccda |
---|---|
3106 ]. |
3106 ]. |
3107 painter setExtent:layout. |
3107 painter setExtent:layout. |
3108 painter updateFromSpec:spec. |
3108 painter updateFromSpec:spec. |
3109 ] |
3109 ] |
3110 ] ifFalse:[ |
3110 ] ifFalse:[ |
3111 spec useDefaultExtent:false. |
|
3111 painter setLayout:layout |
3112 painter setLayout:layout |
3112 ] |
3113 ] |
3113 ] |
3114 ] |
3114 ] ifFalse:[ |
3115 ] ifFalse:[ |
3115 self isHelpToolSelected ifTrue:[ |
3116 self isHelpToolSelected ifTrue:[ |