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