From 07875ebb92f2a27c90048a69e4f91dc92612adf9 Mon Sep 17 00:00:00 2001
From: Pouryafard75 <pouryafard75@gmail.com>
Date: Sun, 18 Aug 2024 21:57:52 -0400
Subject: [PATCH] ASTDiff GUI: Fixes
 https://github.com/tsantalis/RefactoringMiner/issues/672#issuecomment-2294742536

---
 src/main/resources/web/dist/monaco.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/main/resources/web/dist/monaco.js b/src/main/resources/web/dist/monaco.js
index 333f3f2d39..4cb4c10b7c 100644
--- a/src/main/resources/web/dist/monaco.js
+++ b/src/main/resources/web/dist/monaco.js
@@ -108,6 +108,8 @@ function monaco(config) {
             ));
             rightEditor.getModel().decorations = rightDecorations;
             rightEditor.deltaDecorations([], rightDecorations);
+            rightEditor.getModel().moved = config.moved;
+            leftEditor.getModel().moved = config.moved;
             rightEditor.onMouseDown((event) => {
                 if (event.target.range) {
                     const allDecorations = rightEditor.getModel().getDecorationsInRange(event.target.range, rightEditor.id, true)
@@ -178,7 +180,7 @@ function getLinesToFold(config, model, margin = 5) {
     const linesToKeepVisible = new Set();
 
     decorations.forEach(decoration => {
-        if (config.moved){
+        if (model.moved){
             if (decoration.options.className === "inserted" || decoration.options.className === "deleted")
             {
                 return;