From a3dd4c53c72230d8a4eca7e1f2b9e555c6a0adb3 Mon Sep 17 00:00:00 2001 From: Dmitry Vasilev Date: Fri, 14 Jul 2023 03:08:17 +0300 Subject: [PATCH] remove dead code --- src/editor/ui.js | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/src/editor/ui.js b/src/editor/ui.js index 8a3c113..692b071 100644 --- a/src/editor/ui.js +++ b/src/editor/ui.js @@ -68,16 +68,6 @@ export class UI { this.statusbar = el('div', 'statusbar', this.status = el('div', 'status'), this.current_module = el('div', 'current_module'), - /* - // Fullscreen cancelled on escape, TODO - el('a', { - "class" : 'request_fullscreen', - href: 'javascript:void(0)', - click: e => document.body.requestFullscreen(), - }, - 'Fullscreen' - ), - */ el('a', { 'class': 'statusbar_action first',