From 0f790e0df29089c640a71cac9910073624c7adf1 Mon Sep 17 00:00:00 2001
From: Oliver Hamlet <oliver.hamlet@gmail.com>
Date: Mon, 1 Feb 2016 22:42:48 +0000
Subject: [PATCH] Remove duplicate editor toggle handling

Flipping the plugin card is now handled within the plugin card
itself.
---
 src/gui/html/js/events.js | 7 -------
 1 file changed, 7 deletions(-)

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