Comments

• Highlighting search results is a practical function that helps a lot in paper searching. Hope it being considered and would be released in the near future!

  in Highlight search terms in results Comment by xinwu February 10, 2020