ASTDiff: (GUI) Add editors to window for later references

Related to tsantalis#727
pouryafard75 · May 29, 2024 · 06694e4 · 06694e4
1 parent c22d486
commit 06694e4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/main/resources/web/dist/monaco.js b/src/main/resources/web/dist/monaco.js
@@ -150,5 +150,7 @@ require(['vs/editor/editor.main'], function() {
                 }
             }
         });
+        window.leftEditor = leftEditor;
+        window.rightEditor = rightEditor;
     });
 });