Don't do unnecessary element refresh.

diff --git a/imp/js/src/DimpBase.js b/imp/js/src/DimpBase.js
index fc79184..1ff91eb 100644 (file)
--- a/imp/js/src/DimpBase.js
+++ b/imp/js/src/DimpBase.js
@@ -1167,7 +1167,9 @@ var DimpBase = {
         var fid = this.getFolderId(f),
             elt = $(fid);
 
-        if (!elt || !elt.hasAttribute('u')) {
+        if (!elt ||
+            !elt.hasAttribute('u') ||
+            elt.readAttribute('u') == unseen) {
             return;
         }