diff --git a/src/app/panels/editor-panel.js b/src/app/panels/editor-panel.js index 87d6b45335..14c3d04733 100644 --- a/src/app/panels/editor-panel.js +++ b/src/app/panels/editor-panel.js @@ -172,18 +172,12 @@ class EditorPanel { self._view.tabsbar = yo`
` @@ -237,14 +231,6 @@ class EditorPanel { rightArrow.classList.add(css.hide) } } - function toggleLHP (event) { - this.children[0].classList.toggle('fa-angle-double-right') - this.children[0].classList.toggle('fa-angle-double-left') - } - function toggleRHP (event) { - this.children[0].classList.toggle('fa-angle-double-right') - this.children[0].classList.toggle('fa-angle-double-left') - } function increase () { self._components.editor.editorFontSize(1) } function decrease () { self._components.editor.editorFontSize(-1) } function scrollLeft (event) {