grep fullscreen editor feature after we implemented resize

index.html

@@ -45,11 +45,6 @@
         grid-template-rows: auto 1fr 2.5em;
       }
 
-      .root.fullscreen_editor {
-        grid-template-columns: 100% 0%;
-        grid-template-rows: 1fr 0fr 2.5em;
-      }
-
       .editor_container, .bottom, .files_container, .statusbar {
         box-shadow: 1px 1px 3px 0px var(--shadow_color);
       }

src/editor/ui.js

@@ -167,10 +167,6 @@ export class UI {
       if(e.key == 'F7'){
         this.open_app_window()
       }
-
-      if(e.key == 'F8'){
-        this.fullscreen_editor()
-      }
     })
 
     this.editor = new Editor(this, this.editor_container)
@@ -317,7 +313,6 @@ export class UI {
       ['When in call tree view, jump to function arguments', 'a'],
       ['Clear IO trace', 'F6'],
       ['(Re)open run window (F7)', 'F7'],
-      ['Expand/collapse editor to fullscreen', 'F8'],
     ]
     return el('dialog', 'help_dialog',
       el('table', 'help',
@@ -349,14 +344,6 @@ export class UI {
     )
   }
 
-  fullscreen_editor() {
-    this.root.classList.toggle('fullscreen_editor')
-    this.editor.ace_editor.resize()
-    if(this.root.classList.contains('fullscreen_editor')) {
-      this.editor.focus()
-    }
-  }
-
   toggle_open_app_window_tooltip(on) {
     this.open_app_window_tooltip.classList.toggle('on', on)
   }