Don't replace error messages with loading info (#1486300)

thomascube

2010-07-31 dbdd71f166bc0fe89db614d3a6738aadc49ed0df

Don't replace error messages with loading info (#1486300)

 program/js/app.js

@@ -1018,9 +1018,10 @@
      if (msg == message)
        msg = 'Loading...';

      this.display_message(msg, 'loading', true);
      if (this.gui_objects.message && this.gui_objects.message.__type != 'error')
        this.display_message(msg, 'loading', true);
    }
    else if (!a)
    else if (!a && this.gui_objects.message && this.gui_objects.message.__type != 'error')
      this.hide_message();

    this.busy = a;
@@ -4489,6 +4490,7 @@
      cont = '<div class="'+type+'">'+cont+'</div>';

    var obj = $(this.gui_objects.message).html(cont).show();
    this.gui_objects.message.__type = type;

    if (type!='loading')
      obj.bind('mousedown', function(){ ref.hide_message(); return true; });