prompt user to save PDF document after highlighting

This is a wordaround for #791.