Slight optimization (Ha!).

The real reason: for a DOM element that looks like this:
<li id="a"><ul></ul></li>
It appears that (with at least some versions of) Safari 3, this:
$('a').down('UL')
returns undefined. Stupid stupid stupid stupid. That's an hour tracking
this down that I will never get back.

diff --git a/imp/js/src/DimpBase.js b/imp/js/src/DimpBase.js
index c667331..114fcfa 100644 (file)
--- a/imp/js/src/DimpBase.js
+++ b/imp/js/src/DimpBase.js
@@ -1907,7 +1907,7 @@ var DimpBase = {
                 parent_e = $('specialfolders');
             } else {
                 parent_e = $(this.getSubFolderId(this.getFolderId(ob.pa)));
-                parent_e = (parent_e) ? parent_e.down('UL') : $('normalfolders');
+                parent_e = (parent_e) ? parent_e.down() : $('normalfolders');
             }
 
             ll = mbox.toLowerCase();