koreader/koreader — pull request #837 by chrox (2014-08-24 07:36:53+00:00)
Title: promote user to save PDF document after highlighting

This is a wordaround for #791.