From b27ac6649eae1c8ee133b10c0cb9e4504367c8f1 Mon Sep 17 00:00:00 2001 From: "J. Ryan Stinnett" Date: Mon, 17 May 2021 16:58:13 +0100 Subject: [PATCH] Hide tab title tooltips whenever the tab bar changes This hides tooltips (such as the tab title tooltip) whenever the tab bar state changes, such as when adding or removing a tab, to ensure we don't leave any tooltips behind that no longer match reality. Fixes https://github.com/zotero/zotero/issues/2060 --- chrome/content/zotero/tabs.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/chrome/content/zotero/tabs.js b/chrome/content/zotero/tabs.js index e566d987b2..84b931f697 100644 --- a/chrome/content/zotero/tabs.js +++ b/chrome/content/zotero/tabs.js @@ -66,6 +66,8 @@ var Zotero_Tabs = new function () { var { tab } = this._getTab(this._selectedID); document.title = (tab.title.length ? tab.title + ' - ' : '') + 'Zotero'; this._updateTabBar(); + // Hide any tab title tooltips that might be open + window.Zotero_Tooltip.stop(); }; this.init = function () {