2013-10-18 20:38:07 +00:00
|
|
|
local EventListener = require("ui/widget/eventlistener")
|
|
|
|
local UIManager = require("ui/uimanager")
|
|
|
|
local DictQuickLookup = require("ui/widget/dictquicklookup")
|
2013-12-26 14:40:40 +00:00
|
|
|
local Geom = require("ui/geometry")
|
2013-10-22 15:11:31 +00:00
|
|
|
local Screen = require("ui/screen")
|
2013-10-18 20:38:07 +00:00
|
|
|
local JSON = require("JSON")
|
2013-10-22 18:51:29 +00:00
|
|
|
local DEBUG = require("dbg")
|
2013-04-23 22:59:52 +00:00
|
|
|
|
2013-10-18 20:38:07 +00:00
|
|
|
local ReaderDictionary = EventListener:new{}
|
2013-04-23 22:59:52 +00:00
|
|
|
|
2013-12-26 14:40:40 +00:00
|
|
|
function ReaderDictionary:onLookupWord(highlight, word, box)
|
2014-03-13 13:52:43 +00:00
|
|
|
self.highlight = highlight
|
|
|
|
self:stardictLookup(word, box)
|
2013-04-30 10:45:12 +00:00
|
|
|
end
|
|
|
|
|
2013-12-26 14:40:40 +00:00
|
|
|
function ReaderDictionary:stardictLookup(word, box)
|
2014-03-13 13:52:43 +00:00
|
|
|
DEBUG("lookup word:", word, box)
|
|
|
|
if word then
|
|
|
|
-- strip punctuation characters around selected word
|
|
|
|
word = string.gsub(word, "^%p+", '')
|
|
|
|
word = string.gsub(word, "%p+$", '')
|
|
|
|
DEBUG("stripped word:", word)
|
|
|
|
-- escape quotes and other funny characters in word
|
|
|
|
local std_out = io.popen("./sdcv --utf8-input --utf8-output -nj "..("%q"):format(word), "r")
|
|
|
|
local results_str = nil
|
|
|
|
if std_out then results_str = std_out:read("*all") end
|
|
|
|
if results_str then
|
|
|
|
--DEBUG("result str:", word, results_str)
|
|
|
|
local ok, results = pcall(JSON.decode, JSON, results_str)
|
|
|
|
--DEBUG("lookup result table:", word, results)
|
|
|
|
self:showDict(results, box)
|
|
|
|
end
|
|
|
|
end
|
2013-04-23 22:59:52 +00:00
|
|
|
end
|
2013-04-24 14:57:03 +00:00
|
|
|
|
2013-12-26 14:40:40 +00:00
|
|
|
function ReaderDictionary:showDict(results, box)
|
2014-03-13 13:52:43 +00:00
|
|
|
if results and results[1] and box then
|
|
|
|
DEBUG("showing quick lookup dictionary window")
|
|
|
|
local align = nil
|
|
|
|
local region = Geom:new{x = 0, w = Screen:getWidth()}
|
|
|
|
if box.y + box.h/2 < Screen:getHeight()/2 then
|
|
|
|
region.y = box.y + box.h
|
|
|
|
region.h = Screen:getHeight() - box.y - box.h
|
|
|
|
align = "top"
|
|
|
|
else
|
|
|
|
region.y = 0
|
|
|
|
region.h = box.y
|
|
|
|
align = "bottom"
|
|
|
|
end
|
|
|
|
UIManager:show(DictQuickLookup:new{
|
|
|
|
ui = self.ui,
|
|
|
|
highlight = self.highlight,
|
|
|
|
dialog = self.dialog,
|
|
|
|
results = results,
|
|
|
|
dictionary = self.default_dictionary,
|
|
|
|
width = Screen:getWidth() - Screen:scaleByDPI(80),
|
|
|
|
height = math.min(region.h*0.7, Screen:getHeight()*0.5),
|
|
|
|
region = region,
|
|
|
|
align = align,
|
|
|
|
})
|
|
|
|
end
|
2013-04-24 14:57:03 +00:00
|
|
|
end
|
2013-07-21 06:23:54 +00:00
|
|
|
|
|
|
|
function ReaderDictionary:onUpdateDefaultDict(dict)
|
2014-03-13 13:52:43 +00:00
|
|
|
DEBUG("make default dictionary:", dict)
|
|
|
|
self.default_dictionary = dict
|
2013-07-21 06:23:54 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function ReaderDictionary:onReadSettings(config)
|
2014-03-13 13:52:43 +00:00
|
|
|
self.default_dictionary = config:readSetting("default_dictionary")
|
2013-07-21 06:23:54 +00:00
|
|
|
end
|
|
|
|
|
2013-12-27 15:18:16 +00:00
|
|
|
function ReaderDictionary:onSaveSettings()
|
2014-03-13 13:52:43 +00:00
|
|
|
self.ui.doc_settings:saveSetting("default_dictionary", self.default_dictionary)
|
2013-07-21 06:23:54 +00:00
|
|
|
end
|
2013-10-18 20:38:07 +00:00
|
|
|
|
|
|
|
return ReaderDictionary
|