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)
}