The prerelease works - 2019-June-10th. I also found out how to create different colors of highlight. In the windows I created new toolbar with 5 different shortcuts that point to
C:\PDFhighlight\Yellow.bat, Green.bat, Blue.bat, etc.
copy C:\PDFhighlight\blue.txt C:\Users\UserName\AppData\Roaming\SumatraPDF\SumatraPDF-settings.txt
Whenever I want to switch colors, I click on each of the color icons that runs the bat file and copies over the Settings.txt and overrides it. Instantly the highlight color changes to the new color.
So the highlightcolor section is the only thing that is different for each color.
HighlightColor = #01d2e9
SaveIntoDocument = true
I like to save my colors so when I “save as” it saves the highlights.
I also have my mouse middle button programmed as “H” so it invokes the highlight.
I wish you could create a parameter to change the highlight key in the settings file.
Love the pre-release version .