anchor.diff:      } else {
           Prefs.set("searchList", testResult.patchedArray.join('|'));
       }
  +    Behaviors.history_button_show();
       settings.currentTerm = search;
        
   }
  
positive.code:            
          }
  
      }
  
     this.updateHistory();
  
negative.code: SearchHistory.prototype.clearAllHistory = function() {
      Prefs.set("searchList", ' ');
    
      Behaviors.history_button_hide();
          Behaviors.history_hide();
      this.updateHistory();
      return false;
  }
  