diff --git a/index.php b/index.php index 22299283aad9b54e33ebf2ce935c59b313f3f071..1edf39c16f59d4fd7bccb46455126f59e63da00a 100644 --- a/index.php +++ b/index.php @@ -24,7 +24,7 @@ require_once("lti_util/lti_util.php"); require.config({ paths: { vs: 'node_modules/monaco-editor/min/vs' } }); require(['vs/editor/editor.main'], function () { editor = monaco.editor.create(document.getElementById('editor'), {value: "", language: 'python', minimap: {enabled: false}}); - diffEditor = monaco.editor.createDiffEditor(document.getElementById('diffEditor')); + diffEditor = monaco.editor.createDiffEditor(document.getElementById('diffEditor'), {ignoreTrimWhitespace: false}); brython(); }); });