From 803acf984113db1577e8a5d135b8e3a6f268672d Mon Sep 17 00:00:00 2001
From: David Paul <dpaul4@une.edu.au>
Date: Thu, 7 Apr 2022 16:41:09 +1000
Subject: [PATCH] Make trimmed whitespace show in diff
---
index.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/index.php b/index.php
index 2229928..1edf39c 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();
});
});
--
GitLab