diff --git a/src/gui/html/js/events.js b/src/gui/html/js/events.js
index 95ea8c54..b57979a2 100644
--- a/src/gui/html/js/events.js
+++ b/src/gui/html/js/events.js
@@ -413,9 +413,6 @@ function onShowSettingsDialog() {
 }
 
 function onEditorOpen(evt) {
-  /* Now show editor. */
-  evt.target.classList.toggle('flip');
-
   /* Enable priority hover in plugins list and enable header
      buttons if this is the only editor instance. */
   let numEditors = 0;
@@ -479,10 +476,6 @@ function onEditorClose(evt) {
   promise.then(() => {
     delete evt.target.data.editor;
 
-    /* Now hide editor. */
-    evt.target.classList.toggle('flip');
-    evt.target.data.isEditorOpen = false;
-
     /* Disable priority hover in plugins list and enable header
        buttons if this is the only editor instance. */
     let numEditors = parseInt(document.body.getAttribute('data-editors'), 10);