Correct hasPrivateTab(): ignore closing tabs (animations!)

(related to #129)
Infocatcher · Feb 11, 2014 · b69ef60 · b69ef60
1 parent 514ec75
commit b69ef60
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/bootstrap.js b/bootstrap.js
@@ -3311,7 +3311,9 @@ var windowsObserver = {
 		return Array.some(
 			window.gBrowser.tabs,
 			function(tab) {
-				return tab != ignoreTab && this.isPrivateTab(tab);
+				return tab != ignoreTab
+					&& !tab.closing
+					&& this.isPrivateTab(tab);
 			},
 			this
 		);