anchor.diff:      jQuery('#material_search_form').submit();
       // So user can see that form has been submitted and he can't modify it anymore.
       disableAllInputs();
  +
  +    // hide the search suggestions
  +    jQuery('#search_suggestions').hide();
   }
   
   function fulltrim(inputText){
  
positive.code:         type: Lightbox.type.ALERT,
          content: content,
          callback: function(){
      	    location.reload();
          }
      };
  
  
negative.code:         if (!jQuery(this).attr('name')) return;
          submitForm();
      });
  
      // hide the search suggestions on any click other than in the search box input
      jQuery('body').on('click', function (e) {
          if (e.target.name !== 'search_term') {
              jQuery('#search_suggestions').hide();
          }
      })
  });
  
  function setAllProbesSelected(allChecked) {
  