commit 665d59215d8082ce39a4b6dc7e06908b9207ed3e
parent 580d0df56dcc64fd55c59d1c12fb2f9ff2cda2bb
Author: Simon Kornblith <simon@simonster.com>
Date: Wed, 17 Aug 2011 22:17:33 +0000
Allow user to pin normal tab
Diffstat:
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/chrome/content/zotero/overlay.js b/chrome/content/zotero/overlay.js
@@ -63,7 +63,7 @@ var ZoteroOverlay = new function()
// load Zotero as a tab, if it isn't loading by default
ZoteroOverlay.loadZoteroTab(true);
}
- } else {
+ } else if(showInPref === 1) {
// close Zotero as a tab, in case it was pinned
var zoteroTab = ZoteroOverlay.findZoteroTab();
if(zoteroTab) gBrowser.removeTab(zoteroTab);
diff --git a/chrome/content/zotero/tab.js b/chrome/content/zotero/tab.js
@@ -83,7 +83,7 @@ var ZoteroTab = new function()
this.containerWindow.gBrowser.tabContainer.addEventListener("TabSelect", listener, false);
}
- if(Zotero && Zotero.isFx4) {
+ if(Zotero && Zotero.isFx4 && Zotero.Prefs.get("showIn") == 3) {
// on Fx 4, add an event listener so the pinned tab isn't restored on close
var pinnedTabCloser = function() {
try {