From 1156bcd05778a854215eee131fb4f311d43af9e1 Mon Sep 17 00:00:00 2001 From: Hans-Werner Hilse Date: Fri, 28 Nov 2014 13:20:38 +0000 Subject: [PATCH] show a popup upon making a dictionary the default dictionary --- frontend/apps/reader/modules/readerdictionary.lua | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/frontend/apps/reader/modules/readerdictionary.lua b/frontend/apps/reader/modules/readerdictionary.lua index b300b9292..0f5bbc552 100644 --- a/frontend/apps/reader/modules/readerdictionary.lua +++ b/frontend/apps/reader/modules/readerdictionary.lua @@ -1,5 +1,6 @@ local InputContainer = require("ui/widget/container/inputcontainer") local DictQuickLookup = require("ui/widget/dictquicklookup") +local InfoMessage = require("ui/widget/infomessage") local UIManager = require("ui/uimanager") local Geom = require("ui/geometry") local Screen = require("device").screen @@ -111,6 +112,10 @@ end function ReaderDictionary:onUpdateDefaultDict(dict) DEBUG("make default dictionary:", dict) self.default_dictionary = dict + UIManager:show(InfoMessage:new{ + text = _("This is now the default dictionary for this document."), + timeout = 2, + }) return true end