TypeError: Cannot set property 'enabled' of undefined

This commit is contained in:
Benjamin Pasero 2017-02-23 10:47:58 +01:00
parent 1668f39d82
commit a765e68c72

View file

@ -887,6 +887,9 @@ export class DiffEditorWidget extends EventEmitter implements editorBrowser.IDif
clonedOptions.codeLens = false;
clonedOptions.fixedOverflowWidgets = true;
clonedOptions.lineDecorationsWidth = '2ch';
if (!clonedOptions.minimap) {
clonedOptions.minimap = {};
}
clonedOptions.minimap.enabled = false;
return clonedOptions;
}