equal
deleted
inserted
replaced
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 |