Revert r1821; already fixed in r1819.
program/js/app.js @@ -3654,9 +3654,6 @@ this.set_pagetitle(new_title); } // update page buttons this.set_page_buttons(); }; // update parent's mailboxlist (from preview)