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; };