Thanks for your reply! I’m also using ‘save into document=false’. I just wish ‘ctrl+z,y’ was implemented; not only it is convenient, it will undo the highlighted area created by ‘ctrl+mouse+h’.
I also like the fact that the team is focusing on the reading aspects. That is why I prefer Sumatra PDF in the first hand. But I think adding a couple more lines in the text file for easier control of the color can be definitely helpful yet not tremendously difficult.
The buggy aspect of the highlighting feature is probably dependent on the OCR, but other PDF programs don’t have the bugs, so I was hoping those will be fixed in the near future. I can take those bugs for now, though.
I tried the Sumatra highlight helper a few weeks ago, but it was buggy and didn’t operate correctly for some reason.
[Edited] I found that when there is a space after a word, Sumatra PDF highlights the space after the word as well, so (hey) gets highlighted correctly but (hey you) gets highlighted including the space after ‘hey’.