From 268926edf376e1c8fe52d4471c94ba1bc71c172b Mon Sep 17 00:00:00 2001 From: Qingping Hou Date: Thu, 17 Jan 2013 17:12:50 -0500 Subject: [PATCH] add readertypeset to readerui --- frontend/ui/readerui.lua | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/frontend/ui/readerui.lua b/frontend/ui/readerui.lua index 876a1564a..a4331e97b 100644 --- a/frontend/ui/readerui.lua +++ b/frontend/ui/readerui.lua @@ -8,6 +8,7 @@ require "ui/reader/readerrolling" require "ui/reader/readertoc" require "ui/reader/readerbookmark" require "ui/reader/readerfont" +require "ui/reader/readertypeset" require "ui/reader/readermenu" require "ui/reader/readerconfig" @@ -123,10 +124,6 @@ function ReaderUI:init() ui = self } table.insert(self, roller) - --if not self.start_pos then - --self.start_pos = 0 - --end - --roller:gotoPercent(self.start_pos) -- font menu local font_menu = ReaderFont:new{ dialog = self.dialog, @@ -134,6 +131,13 @@ function ReaderUI:init() ui = self } table.insert(self, font_menu) + -- typeset controller + local typeset = ReaderTypeset:new{ + dialog = self.dialog, + view = self[1], + ui = self + } + table.insert(self, typeset) end if self.document.info.configurable then -- configurable controller