From 65a7088463a87861d9185b4bce2e5726512ca7bf Mon Sep 17 00:00:00 2001 From: Zlatin Balevsky Date: Sun, 15 Dec 2019 13:39:20 +0000 Subject: [PATCH] can squeeze a few more characters --- webui/src/main/js/search.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/webui/src/main/js/search.js b/webui/src/main/js/search.js index 4aab3d5e..6c4fb68b 100644 --- a/webui/src/main/js/search.js +++ b/webui/src/main/js/search.js @@ -11,8 +11,8 @@ class SearchStatus { var mapping = new Map() var trimmedQuery = this.query - if (this.query.length > 16) - trimmedQuery = this.query.slice(0, 16) + "…" + if (this.query.length > 19) + trimmedQuery = this.query.slice(0, 19) + "…" var queryLink = new Link(trimmedQuery, "refresh" + refreshType, [this.uuid]) var stopLink = new Link("X", "stopSearch", [this.uuid])