From 1ca2100cf08ce3fbe914a3a340b2281e16409e4f Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Thu, 7 Aug 2014 15:01:32 -0400
Subject: [PATCH] Add timing to tag selector

---
 chrome/content/zotero/bindings/tagselector.xml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/chrome/content/zotero/bindings/tagselector.xml b/chrome/content/zotero/bindings/tagselector.xml
index 394c6fa4e5..e310a3835f 100644
--- a/chrome/content/zotero/bindings/tagselector.xml
+++ b/chrome/content/zotero/bindings/tagselector.xml
@@ -212,12 +212,14 @@
 				<body>
 				<![CDATA[
 					Zotero.spawn(function* () {
+						Zotero.debug('Refreshing tags selector');
+						var t = new Date;
+						
 						if (!this._initialized) {
 							this.init();
 							fetch = true;
 						}
 						
-						Zotero.debug('Refreshing tags selector');
 						var emptyColored = true;
 						var emptyRegular = true;
 						var tagsToggleBox = this.id('tags-toggle');
@@ -447,6 +449,8 @@
 						
 						// Clear "Loading tags…" after the first load
 						this.id('no-tags-deck').selectedIndex = 1;
+						
+						Zotero.debug("Loaded tag selector in " + (new Date - t) + " ms");
 					}, this);
 				]]>
 				</body>