(yes: () => void)
| 1138 | } |
| 1139 | |
| 1140 | confirmOverwrite(yes: () => void): void { |
| 1141 | this.alertSystem.ask( |
| 1142 | 'Changes were made to the code', |
| 1143 | 'Changes were made to the code while it was being processed. Overwrite changes?', |
| 1144 | {yes: yes, no: undefined}, |
| 1145 | ); |
| 1146 | } |
| 1147 | |
| 1148 | applyEdit(operation: monaco.editor.IIdentifiedSingleEditOperation): void { |
| 1149 | const nullFn = () => { |