mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Hide tab title tooltips whenever the tab bar changes

Browse source 
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
This commit is contained in:
J. Ryan Stinnett 2021-05-17 16:58:13 +01:00
parent 5b7e01dff6
commit b27ac6649e
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
chrome/content/zotero/tabs.js
View file

@ -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 () {