finish previous commit

svncommit

2006-11-11 8e20901e971df8b53bc5a333506d73c6a53dd416

 program/js/app.js

@@ -1272,9 +1272,11 @@
  this.permanently_remove_messages = function()
    {
    // exit if no mailbox specified or if selection is empty
    var selection = this.message_list.get_selection();
    if (!(selection.length || this.env.uid))
    if (!this.env.uid)
      {
      if (!this.message_list || !this.message_list.get_selection().length)
      return;
      }
    
    var a_uids = new Array();