src/vs/workbench/contrib/mergeEditor/browser/model/mergeEditorModel.ts/MarkAsHandledUndoRedoElement/redo
class MarkAsHandledUndoRedoElement:	public redo() {
		const mergeEditorModel = this.mergeEditorModelRef.deref();
		if (!mergeEditorModel || mergeEditorModel.isDisposed()) {
			return;
		}
		const state = this.stateRef.deref();
		if (!state) { return; }
		transaction(tx => {
			state.handledInput1.set(true, tx);
			state.handledInput2.set(true, tx);
		});
	}