From 0be944810021f8486c37095c35aad5071e559970 Mon Sep 17 00:00:00 2001
From: Dmitry Vasilev <dmitry.vasil@gmail.com>
Date: Fri, 14 Jul 2023 03:07:36 +0300
Subject: [PATCH] grep fullscreen editor feature after we implemented resize

---
 index.html       |  5 -----
 src/editor/ui.js | 13 -------------
 2 files changed, 18 deletions(-)

diff --git a/index.html b/index.html
index 157b245..afa07df 100644
--- a/index.html
+++ b/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);
       }
diff --git a/src/editor/ui.js b/src/editor/ui.js
index 935ebb5..8a3c113 100644
--- a/src/editor/ui.js
+++ b/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)
   }