program/js/app.js
@@ -5017,16 +5017,6 @@ } }; // notifies that a new message(s) has hit the mailbox this.new_message_focus = function() { // focus main window if (this.env.framed && window.parent) window.parent.focus(); else window.focus(); }; this.toggle_prefer_html = function(checkbox) { var elem;