thomascube
2006-08-04 fa4cd20fb14c087c80e6a9cde11df17d46e07566
program/js/app.js
@@ -3213,6 +3213,15 @@
        }
      }
    
    // also update mailbox name in window title
    if (document.title)
      {
      var doc_title = String(document.title);
      var reg = new RegExp(this.env.mailbox.toLowerCase(), 'i');
      if (this.env.mailbox && doc_title.match(reg))
        document.title = doc_title.replace(reg, mbox).replace(/^\([0-9]+\)\s+/i, '');
      }
    this.env.mailbox = mbox;
    };