Remove duplicate editor toggle handling

Flipping the plugin card is now handled within the plugin card
itself.
This commit is contained in:
Oliver Hamlet
2016-03-05 11:49:26 +00:00
parent 27394fe12d
commit 0f790e0df2
-7
View File
@@ -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);