UIPainter.st
changeset 3063 bfe0755a11c3
parent 3062 fb2f2197eada
child 3064 2bd791d76bab
equal deleted inserted replaced
3062:fb2f2197eada 3063:bfe0755a11c3
  2216             label: 'Replace By...'
  2216             label: 'Replace By...'
  2217             itemValue: doAskAndReplaceWidgetBy
  2217             itemValue: doAskAndReplaceWidgetBy
  2218           )
  2218           )
  2219          (MenuItem
  2219          (MenuItem
  2220             activeHelpKey: wrapInto
  2220             activeHelpKey: wrapInto
  2221             enabled: canWrapeSelection
  2221             enabled: canWrapSelection
  2222             label: 'Wrap Into...'
  2222             label: 'Wrap Into...'
  2223             itemValue: doAskAndWrapWidgetInto
  2223             itemValue: doAskAndWrapWidgetInto
  2224             isVisible: false
  2224             isVisible: false
  2225           )
  2225           )
  2226          (MenuItem
  2226          (MenuItem