function display_search_results()

in js/search.js [25:47]


  function display_search_results(query, results) {
    var $search_status = $("#search_status");
    var $search_results = $("#search_results");

    window.data.then(function(loaded_data) {

      if (results.length) {
        $search_status.html('Found ' + results.length + ' results for "' + query + '"');
        $search_results.empty();
        results.forEach(function(result) {
          var item = loaded_data[result.ref];
          var n = item.content.search(query) - 50
          if (n < 0) {
            n = 0;
          }
          var appendString = '<tr><td><a href="' + item.url + '">' + item.title + '</a><td>' + item.content.substring(n, n+100) + '</tr>';
          $search_results.append(appendString);
        });
      } else {
        $search_status.html('No results found!');
      }
    });
  }