|
|
|
@ -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
|
|
|
|
|
|
|
|
|
|