diff options
author | Bob Zeleznik <zzzman@gmail.com> | 2020-07-23 11:56:05 -0400 |
---|---|---|
committer | Bob Zeleznik <zzzman@gmail.com> | 2020-07-23 11:56:05 -0400 |
commit | 3bcc0e3a8ce4ab67dff4b3d62191c346764aa351 (patch) | |
tree | 371e2b9c5687af8c8b29a05c8b714ed3020473a1 /src/client/util/SearchUtil.ts | |
parent | 0ea3c5b643a50de9cea673b769f5514fcef5d86b (diff) |
got rid of lots of console.logs(). fixed fonticon box to show a 'label' if defined otherwise 'title'. if neither, then it shows no tooltip.
Diffstat (limited to 'src/client/util/SearchUtil.ts')
-rw-r--r-- | src/client/util/SearchUtil.ts | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/client/util/SearchUtil.ts b/src/client/util/SearchUtil.ts index 1ac68480e..0a01d8ac7 100644 --- a/src/client/util/SearchUtil.ts +++ b/src/client/util/SearchUtil.ts @@ -128,7 +128,6 @@ export namespace SearchUtil { }); const result: IdSearchResult = JSON.parse(response); const { ids, numFound, highlighting } = result; - //console.log(ids.length); const docMap = await DocServer.GetRefFields(ids); const docs: Doc[] = []; for (const id of ids) { |