+ let item = `<div class='ts_found'>
+ <a href='${changeSetUrl}${cs.changesetId}'>
+ ${cs.changesetId}: ${comment} (${author})
+ </a>
+ </div>`;
+ resultDiv.innerHTML += item;
+ }
+ statsSpan.innerHTML = "matches: " + matchesFound +" searched comments: " + totalReceived;
+ if (d.value.length <= 0)
+ {
+ statsSpan.innerHTML += " -- search done.";
+ return;
+ }
+
+ requestNext(totalReceived, searchStr);
+};
+
+ let startSearching = function (){
+ searchTerm = document.getElementById('ts_searchBox').value;
+ let results = document.getElementById('ts_searchResults');
+ totalReceived = 0;
+ matchesFound = 0;
+ results.innerHTML = "";
+ document.getElementById('ts_searchStats').innerHTML = "";
+
+ if (searchTerm.length < 3){ return; }
+
+ console.debug("new search term: '" + searchTerm+"'");
+ requestNext(0, searchTerm);
+};
+
+let addSearch = () => {
+ if (window.location.href.includes("_apis")){ return; }
+
+ let search = document.getElementById('ts_cs_search');
+ if (search){ return; }
+
+ console.debug("adding searchbox");
+ let html = `<div id="ts_cs_search">
+ <input id="ts_searchBox" width="120" placeholder="searchstring [von:Name]" />
+ <span id="ts_searchStats"></span>
+ <div id="ts_searchResults"></div>
+ </div>`;
+
+ document.body.insertAdjacentHTML('afterbegin', html);
+ let s = document.getElementById('ts_searchBox');
+ s.addEventListener("keyup", searchDelayed);
+ document.body.addEventListener("keyup", pressEscapeToAbort);