mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Add timing to tag selector

Browse source
This commit is contained in:
Dan Stillman 2014-08-07 15:01:32 -04:00
parent db0fa3c33e
commit 1ca2100cf0
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
chrome/content/zotero/bindings/tagselector.xml
View file

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