ASTDiff: (GUI) Enable word-wrap for monaco-editor by default

Fixes tsantalis#727
pouryafard75 · May 29, 2024 · c22d486 · c22d486
1 parent 15f20e3
commit c22d486
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/resources/web/dist/monaco.js b/src/main/resources/web/dist/monaco.js
@@ -30,6 +30,7 @@ function getEditorOptions(text) {
         minimap: {
             enabled: false,
         },
+        wordWrap: 'on' // Enables word wrap
     };
 }