diff --git a/frontend/apps/reader/modules/readerdictionary.lua b/frontend/apps/reader/modules/readerdictionary.lua index b300b9292..2c4bd6ac9 100644 --- a/frontend/apps/reader/modules/readerdictionary.lua +++ b/frontend/apps/reader/modules/readerdictionary.lua @@ -1,11 +1,13 @@ 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 local JSON = require("JSON") local DEBUG = require("dbg") local _ = require("gettext") +local T = require("ffi/util").template local ReaderDictionary = InputContainer:new{} @@ -111,6 +113,10 @@ end function ReaderDictionary:onUpdateDefaultDict(dict) DEBUG("make default dictionary:", dict) self.default_dictionary = dict + UIManager:show(InfoMessage:new{ + text = T(_("%1 is now the default dictionary for this document."), dict), + timeout = 2, + }) return true end