From e1c8f3ffe097789f45cadfe8252d3cd2ee16cfbd Mon Sep 17 00:00:00 2001
From: Wolfgang Sourdeau <wsourdeau@inverse.ca>
Date: Mon, 25 Aug 2008 20:45:42 +0000
Subject: [PATCH] Monotone-Parent: 39a02584d6f552b43a783fc48bc54d99f63c12d0
 Monotone-Revision: a1c1eacbf93b1c77a04e617675b261da87d45947

Monotone-Author: wsourdeau@inverse.ca
Monotone-Date: 2008-08-25T20:45:42
Monotone-Branch: ca.inverse.sogo
---
 UI/WebServerResources/MailerUI.js | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/UI/WebServerResources/MailerUI.js b/UI/WebServerResources/MailerUI.js
index fd56bd11a..2ab321081 100644
--- a/UI/WebServerResources/MailerUI.js
+++ b/UI/WebServerResources/MailerUI.js
@@ -1328,6 +1328,9 @@ function onMessageCheckCallback(event) {
 }
 
 function initMailboxTree() {
+  var node = $("mailboxTree");
+  if (node)
+    node.parentNode.removeChild(node);
   mailboxTree = new dTree("mailboxTree");
   mailboxTree.config.folderLinks = true;
   mailboxTree.config.hideRoot = true;
@@ -1396,7 +1399,11 @@ function mailboxMenuNode(type, name) {
 function generateMenuForMailbox(mailbox, prefix, callback) {
   var menuDIV = document.createElement("div");
   $(menuDIV).addClassName("menu");
-  menuDIV.setAttribute("id", prefix + "Submenu");
+  var menuID = prefix + "Submenu";
+  var previousMenuDIV = $(menuID);
+  if (previousMenuDIV)
+    previousMenuDIV.parentNode.removeChild(previousMenuDIV);
+  menuDIV.setAttribute("id", menuID);
   var menu = document.createElement("ul");
   menuDIV.appendChild(menu);
   pageContent.appendChild(menuDIV);