promote user to save PDF document after highlighting
This is a wordaround for #791.
Merge pull request #837 from chrox/save_highlight

prompt user to save PDF document after highlighting