koreader/koreader — pull request #319 by chrox (2013-10-16 15:25:06+00:00)
Title: save cre3.ini on closing each credocument

and page margin settings will be restored before rendering.
This patch should fix #299.