finish previous commit

svncommit

2006-11-11 8e20901e971df8b53bc5a333506d73c6a53dd416

 program/js/app.js

@@ -1272,10 +1272,12 @@
  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))
      return;
    
    if (!this.env.uid)
      {
      if (!this.message_list || !this.message_list.get_selection().length)
        return;
      }

    var a_uids = new Array();

    if (this.env.uid)