From 4e90d358a41fd40f36c0e0e112ba8de779a9f7bc Mon Sep 17 00:00:00 2001
From: Ryan Blenis <ryan.blenis@gmail.com>
Date: Wed, 9 Oct 2019 03:06:37 -0400
Subject: [PATCH] Fix header showing multiple times when context switching

---
 pluginHandler.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pluginHandler.js b/pluginHandler.js
index 7a621009..2756ae87 100644
--- a/pluginHandler.js
+++ b/pluginHandler.js
@@ -60,7 +60,9 @@ module.exports.pluginHandler = function (parent) {
       };
       obj.registerPluginTab = function(pluginRegInfo) {
         var d = pluginRegInfo();
-        QA('p19headers', '<span onclick="return pluginHandler.callPluginPage(\\''+d.tabId+'\\');">'+d.tabTitle+'</span>');
+        if (!Q(d.tabId)) {
+          QA('p19headers', '<span onclick="return pluginHandler.callPluginPage(\\''+d.tabId+'\\');">'+d.tabTitle+'</span>');
+        }
       };
       obj.callPluginPage = function(id) {
         var pages = Q('p19pages').querySelectorAll("#p19pages>div");