- Unset message type after hidding it

alecpl

2010-08-24 70cfb42839b8a87e9dbc99f9060c494590adb5e6

- Unset message type after hidding it

 program/js/app.js

@@ -4509,8 +4509,10 @@
  // make a message row disapear
  this.hide_message = function(fade)
  {
    if (this.gui_objects.message)
    if (this.gui_objects.message) {
      $(this.gui_objects.message).unbind()[(fade?'fadeOut':'hide')]();
      this.gui_objects.message.__type = null;
    }
  };

  // get type of currently displayed message