- Fix message normal priority problem (#1485820)

alecpl

2009-04-24 79eb4e79ed15d460ecef6baa5ca115b190b83a11

 program/js/app.js

@@ -2574,7 +2574,7 @@
  this.ksearch_query_results = function(results, search)
  {
    // ignore this outdated search response
    if (search != this.ksearch_value)
    if (this.ksearch_value && search != this.ksearch_value)
      return;
      
    this.hide_message();