Force remove private tabs from closing window without animations

(correction for #36)
Infocatcher · Apr 24, 2013 · 49072b7 · 49072b7
1 parent 24f2f6b
commit 49072b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bootstrap.js b/bootstrap.js
@@ -539,7 +539,7 @@ var windowsObserver = {
 			else {
 				if(i == 0 && !hasNotPrivate)
 					gBrowser.selectedTab = gBrowser.addTab("about:blank", { skipAnimation: true });
-				gBrowser.removeTab(tab);
+				gBrowser.removeTab(tab, { animate: false });
 				_log("closePrivateTabs(): remove tab: " + (tab.getAttribute("label") || "").substr(0, 256));
 			}
 		}