html nodes are removed from dom when plugin is removed

Closes #686 (closed)

frontend-js/src/main/js/gui/leftPanel/GuiUtils.js

@@ -1140,6 +1140,23 @@ GuiUtils.prototype.hideTab = function (abstractGuiElement, panel) {
   }
 };
 
+/**
+ *
+ * @param {AbstractGuiElement} abstractGuiElement
+ * @param {Panel|HTMLElement} panel
+ */
+GuiUtils.prototype.removeTab = function (abstractGuiElement, panel) {
+  var panelId = getPanelId(panel);
+  var liElement = $("li:has(a[href='#" + panelId + "'])", $(abstractGuiElement.getElement()))[0];
+  var contentElement = $("#" + panelId, $(abstractGuiElement.getElement()))[0];
+  if (liElement !== undefined && contentElement !==undefined) {
+    liElement.parentElement.removeChild(liElement);
+    contentElement.parentElement.removeChild(contentElement);
+  } else {
+    logger.warn("Cannot find tab for panel: " + panel);
+  }
+};
+
 /**
  *
  * @param {AbstractGuiElement} abstractGuiElement