From fab19c3bfa5780b6f60d3d50abb8f1ee0259328b Mon Sep 17 00:00:00 2001
From: Qingping Hou <dave2008713@gmail.com>
Date: Tue, 26 Jun 2012 17:05:09 +0800
Subject: [PATCH] add document settings support

---
 frontend/ui/readerui.lua | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/frontend/ui/readerui.lua b/frontend/ui/readerui.lua
index 0f6c96bd3..1e1e6dc24 100644
--- a/frontend/ui/readerui.lua
+++ b/frontend/ui/readerui.lua
@@ -40,6 +40,10 @@ function ReaderUI:init()
 	if not self.dialog then
 		self.dialog = self
 	end
+
+	self.doc_settings = DocSettings:open(self.document.file)
+	DEBUG(self.doc_settings)
+
 	-- a view container (so it must be child #1!)
 	self[1] = ReaderView:new{
 		dialog = self.dialog,
@@ -121,6 +125,8 @@ end
 
 function ReaderUI:onClose()
 	DEBUG("closing reader")
+	self:handleEvent(Event:new("CloseDocument"))
+	self.doc_settings:flush()
 	if self.document then
 		self.document:close()
 		self.document = false