- don't lock interface when loading headers

alecpl

2008-09-13 a980cb857596200ac1bd5075d0959f0fb6a4fd02

- don't lock interface when loading headers

 program/js/app.js

@@ -3683,6 +3683,7 @@
      }
    };


  // display all-headers row and fetch raw message headers
  this.load_headers = function(elem)
    {
@@ -3697,7 +3698,7 @@
    // fetch headers only once
    if (!this.gui_objects.all_headers_box.innerHTML)
      {
      this.set_busy(true, 'loading');
      this.display_message(this.get_label('loading'), 'loading', true); 
      this.http_post('headers', '_uid='+this.env.uid);
      }
    }