anchor.diff:                                     async: false
                                   }
                               );
  -                        alert("ajaxResult was '" + ajaxResult + "'");
  -                        alert("ajaxResult.responseText was '" + ajaxResult.responseText + "'");
  +                        //alert("ajaxResult was '" + ajaxResult + "'");
  +                        //alert("ajaxResult.responseText was '" + ajaxResult.responseText + "'");
                           var historyResultObj = $.parseJSON(ajaxResult.responseText);
  -                        alert("$.parseJSON(...) result was '" + historyResultObj + "'");
  +                        //alert("$.parseJSON(...) result was '" + historyResultObj + "'");
                           if (historyResultObj !== null) {
                               historyResult = historyResultObj.history;
                               if (historyResult !== null) {
  -                                alert("historyResult was '" + historyResult + "'");
  +                                //alert("historyResult was '" + historyResult + "'");
                               }
                               else if (historyResultObj.error !== null)
                               {
  
positive.code:             } else {
                  Prefs.set("searchList", testResult.patchedArray.join('|'));
              }
              Behaviors.history_button_show();
              settings.currentTerm = search;
  
  
negative.code:                         }
  
                          if (historyResult === null) {
                            //alert("using backup method this.history[" + pref + "]");
                            historyResult = this.history[pref];
                            //alert("this.history[" + pref + "] returned '" + historyResult + "'");
                          }
                      } catch (err) {
                         alert("Error in Prefs.getString: " + err);
                      }
  
                      if (historyResult === null) {
                         //alert("neither <%=renderResponse.encodeURL(getHistoryUrl.toString())%> nor this.history[" + pref + "] returned a result!");
                         historyResult = "";
                      }
  
                      alert("Pref.getString(...)=" + historyResult);
                      return historyResult;
                  }
          }
  