Editor now fills window.

bradywire · bradywire · commit 4a6a958e608b · 2023-12-07T14:17:11.000Z
diff --git a/src/ide.js b/src/ide.js
@@ -1633,9 +1633,16 @@ $(function () {
             } else {
                 var editor = monaco.editor.create(document.getElementById('editorContainer'), {
                     language: 'python',
-                    value: progData.source
+                    value: progData.source,
                 });
-  
+                editor.layout({width: window.innerWidth, height: window.innerHeight})
+
+                window.onresize = () => {
+                    var w = window.innerWidth;
+                    var h = window.innerHeight;
+                    editor.layout({width: w, height: h});
+                };
+            
                 if (isWritable) {
                     var save = saver( {user:username, folder:folder, program:program},
                         function () { return editor.getValue() },
@@ -1651,6 +1658,7 @@ $(function () {
         }
     )}
     
+    
     function iframefix() {
         // When a mouse operation is started outside an iframe, cover all iframes on the page so
         // that mousemove events don't get eaten by them.  Supposedly jquery UI 1.9 will have this
@@ -1675,6 +1683,5 @@ $(function () {
         })
     }
     iframefix()
-
     window.onhashchange()
 })
