diff --git a/webui/src/main/js/search.js b/webui/src/main/js/search.js index 9522e659..4aab3d5e 100644 --- a/webui/src/main/js/search.js +++ b/webui/src/main/js/search.js @@ -12,11 +12,14 @@ class SearchStatus { var trimmedQuery = this.query if (this.query.length > 16) - trimmedQuery = this.query.slice(0, 16) + "..." + trimmedQuery = this.query.slice(0, 16) + "…" var queryLink = new Link(trimmedQuery, "refresh" + refreshType, [this.uuid]) var stopLink = new Link("X", "stopSearch", [this.uuid]) - var queryHtml = "
| " + queryLink.render() + " ("+this.results+")" + " | [" + stopLink.render() + "] |
| " + queryLink.render() + resultsSnippet + " | [" + stopLink.render() + "] |