From 49072b71869ca175d3bdf371517c19e59ff621f3 Mon Sep 17 00:00:00 2001
From: Infocatcher <infocatcher.dev.null@gmail.com>
Date: Wed, 24 Apr 2013 10:54:59 +0400
Subject: [PATCH] Force remove private tabs from closing window without
 animations (correction for #36)

---
 bootstrap.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootstrap.js b/bootstrap.js
index e15106a..f8a4214 100644
--- 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));
 			}
 		}