From 867760e0be1f00b53296ca1b129e02d6894fb0f2 Mon Sep 17 00:00:00 2001
From: Simon Kornblith <simon@simonster.com>
Date: Mon, 2 Apr 2012 18:09:10 -0400
Subject: [PATCH] pushEventQueue removed in Fx 14
 (https://bugzilla.mozilla.org/show_bug.cgi?id=719154)

---
 chrome/content/zotero/fileInterface.js | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/chrome/content/zotero/fileInterface.js b/chrome/content/zotero/fileInterface.js
index 9fb8b4d2e..d74c8af86 100644
--- a/chrome/content/zotero/fileInterface.js
+++ b/chrome/content/zotero/fileInterface.js
@@ -626,7 +626,12 @@ var Zotero_File_Interface = new function() {
 		if(window.zoteroLastRepaint && (now - window.zoteroLastRepaint) < 100) return
 		
 		// Start a nested event queue
-		Zotero.mainThread.pushEventQueue(null);
+		// TODO Remove when Fx > 14
+		var eventQueuePushed = "pushEventQueue" in Zotero.mainThread;
+		if(eventQueuePushed) {
+			Zotero.mainThread.pushEventQueue(null);
+		}
+		
 		try {
 			// Add the redraw event onto event queue
 			window.QueryInterface(Components.interfaces.nsIInterfaceRequestor)
@@ -637,7 +642,7 @@ var Zotero_File_Interface = new function() {
 			Zotero.mainThread.processNextEvent(false);
 		} finally {
 			// Close nested event queue
-			Zotero.mainThread.popEventQueue();
+			if(eventQueuePushed) Zotero.mainThread.popEventQueue();
 		}
 		
 		window.zoteroLastRepaint = now;