Comments

• Highlighting search results in PDF file is verying import and usefull! Hope it being considered!

  in Highlight search terms in results Comment by zhouzk January 4, 2022