From b1a51f900d5a8e48590fd87807da285a31768fa2 Mon Sep 17 00:00:00 2001 From: Simon Kornblith Date: Sun, 22 Jul 2012 19:10:10 -0400 Subject: [PATCH] Very minor tag selector optimizations --- chrome/content/zotero/bindings/tagselector.xml | 7 ++++--- chrome/content/zotero/xpcom/data/tags.js | 4 ++-- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/chrome/content/zotero/bindings/tagselector.xml b/chrome/content/zotero/bindings/tagselector.xml index 79393045b7..326259e9af 100644 --- a/chrome/content/zotero/bindings/tagselector.xml +++ b/chrome/content/zotero/bindings/tagselector.xml @@ -547,10 +547,11 @@