From bd154e0bc35a49ba2f5d5768e2215cd1d7be2c3e Mon Sep 17 00:00:00 2001 From: Robert Date: Tue, 18 Sep 2018 21:37:13 +0200 Subject: [PATCH] Change skim mode menu & dialog title (#4223) --- frontend/apps/reader/modules/readergoto.lua | 2 +- frontend/apps/reader/skimtowidget.lua | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/frontend/apps/reader/modules/readergoto.lua b/frontend/apps/reader/modules/readergoto.lua index 9b82b22eb..619dd2c78 100644 --- a/frontend/apps/reader/modules/readergoto.lua +++ b/frontend/apps/reader/modules/readergoto.lua @@ -7,7 +7,7 @@ local _ = require("gettext") local ReaderGoto = InputContainer:new{ goto_menu_title = _("Go to"), - skim_menu_title = _("Skim to"), + skim_menu_title = _("Skim document"), } function ReaderGoto:init() diff --git a/frontend/apps/reader/skimtowidget.lua b/frontend/apps/reader/skimtowidget.lua index 24d7fc98d..9edaf75c1 100644 --- a/frontend/apps/reader/skimtowidget.lua +++ b/frontend/apps/reader/skimtowidget.lua @@ -61,12 +61,10 @@ function SkimToWidget:init() }, } end - local dialog_title + local dialog_title = _("Skim") if self.document.info.has_pages then - dialog_title = _("Go to Page") self.curr_page = self.ui.paging.current_page else - dialog_title = _("Go to Location") self.curr_page = self.document:getCurrentPage() end self.page_count = self.document:getPageCount()