UIPainter.st
changeset 938 6474ca79b6ad
parent 935 43e8ce3b62ca
child 939 6e2448fa0ba3
equal deleted inserted replaced
937:8e4b1a548d89 938:6474ca79b6ad
  2917         ]
  2917         ]
  2918     ] ifFalse:[
  2918     ] ifFalse:[
  2919         spec := self specTool specification.
  2919         spec := self specTool specification.
  2920 
  2920 
  2921         self isHelpToolSelected ifTrue:[
  2921         self isHelpToolSelected ifTrue:[
  2922             self helpTool accept.
  2922             self helpTool accept.      
  2923             key  := self helpTool helpKey.
  2923             spec activeHelpKey:self helpTool helpKey.
  2924             prop := treeView propertySelected.
  2924         ].      
  2925 
  2925         painter updateFromSpec:spec
  2926             prop notNil ifTrue:[
       
  2927                 prop spec activeHelpKey:key
       
  2928             ].
       
  2929             spec activeHelpKey:key.
       
  2930         ] ifFalse:[
       
  2931             painter updateFromSpec:spec
       
  2932         ]
       
  2933     ]             
  2926     ]             
       
  2927 
  2934 
  2928 
  2935 !
  2929 !
  2936 
  2930 
  2937 addWidget: aSpecClass
  2931 addWidget: aSpecClass
  2938     "adds a widget from aSpecClass to the current widget"
  2932     "adds a widget from aSpecClass to the current widget"