2015-10-03 06:18:47 +00:00
local DataStorage = require ( " datastorage " )
2015-04-15 12:28:32 +00:00
local Device = require ( " device " )
2017-04-07 13:20:57 +00:00
local DictQuickLookup = require ( " ui/widget/dictquicklookup " )
local InputContainer = require ( " ui/widget/container/inputcontainer " )
local InfoMessage = require ( " ui/widget/infomessage " )
2015-03-21 03:39:25 +00:00
local JSON = require ( " json " )
2017-04-07 13:20:57 +00:00
local UIManager = require ( " ui/uimanager " )
2016-12-29 08:10:38 +00:00
local logger = require ( " logger " )
2016-12-06 21:15:52 +00:00
local util = require ( " util " )
2014-07-24 14:11:25 +00:00
local _ = require ( " gettext " )
2017-04-07 13:20:57 +00:00
local Screen = Device.screen
2014-11-28 13:53:42 +00:00
local T = require ( " ffi/util " ) . template
2013-04-23 22:59:52 +00:00
2015-04-15 12:28:32 +00:00
local ReaderDictionary = InputContainer : new {
data_dir = nil ,
2016-06-28 16:35:00 +00:00
dict_window_list = { } ,
2016-12-06 21:15:52 +00:00
lookup_msg = _ ( " Searching dictionary for: \n %1 " )
2015-04-15 12:28:32 +00:00
}
2014-10-15 10:01:58 +00:00
function ReaderDictionary : init ( )
self.ui . menu : registerToMainMenu ( self )
2015-10-03 06:18:47 +00:00
self.data_dir = os.getenv ( " STARDICT_DATA_DIR " ) or
DataStorage : getDataDir ( ) .. " /data/dict "
2014-10-15 10:01:58 +00:00
end
2017-03-04 13:46:38 +00:00
function ReaderDictionary : addToMainMenu ( menu_items )
menu_items.dictionary_lookup = {
2014-10-15 10:01:58 +00:00
text = _ ( " Dictionary lookup " ) ,
tap_input = {
2014-11-14 22:04:27 +00:00
title = _ ( " Enter a word to look up " ) ,
2017-04-07 13:20:57 +00:00
ok_text = _ ( " Search dictionary " ) ,
2014-10-15 10:01:58 +00:00
type = " text " ,
callback = function ( input )
self : onLookupWord ( input )
end ,
} ,
2017-02-28 21:46:32 +00:00
}
2014-10-15 10:01:58 +00:00
end
2013-04-23 22:59:52 +00:00
2014-08-17 16:32:09 +00:00
function ReaderDictionary : onLookupWord ( word , box , highlight )
2014-03-13 13:52:43 +00:00
self.highlight = highlight
self : stardictLookup ( word , box )
2014-08-20 06:41:45 +00:00
return true
2013-04-30 10:45:12 +00:00
end
2017-04-26 06:12:25 +00:00
local function dictDirsEmpty ( dict_dirs )
for _ , dict_dir in ipairs ( dict_dirs ) do
if not util.isEmptyDir ( dict_dir ) then
return false
end
end
return true
end
2016-12-06 21:15:52 +00:00
local function tidyMarkup ( results )
2014-10-28 07:57:01 +00:00
local cdata_tag = " <!%[CDATA%[(.-)%]%]> "
local format_escape = " &[29Ib%+]{(.-)} "
for _ , result in ipairs ( results ) do
2014-10-29 08:42:00 +00:00
local def = result.definition
-- preserve the <br> tag for line break
def = def : gsub ( " <[bB][rR] ?/?> " , " \n " )
2014-10-28 07:57:01 +00:00
-- parse CDATA text in XML
2014-10-29 08:42:00 +00:00
if def : find ( cdata_tag ) then
def = def : gsub ( cdata_tag , " %1 " )
2014-10-28 07:57:01 +00:00
-- ignore format strings
while def : find ( format_escape ) do
def = def : gsub ( format_escape , " %1 " )
end
end
2014-10-29 08:42:00 +00:00
-- ignore all markup tags
def = def : gsub ( " %b<> " , " " )
2016-12-01 12:34:40 +00:00
-- strip all leading empty lines/spaces
def = def : gsub ( " ^%s+ " , " " )
2014-10-29 08:42:00 +00:00
result.definition = def
2014-10-28 07:57:01 +00:00
end
return results
end
2016-12-06 21:15:52 +00:00
function ReaderDictionary : cleanSelection ( text )
-- Will be used by ReaderWikipedia too
if not text then
return " "
end
2017-04-09 14:58:41 +00:00
-- crengine does now a much better job at finding word boundaries, but
-- some cleanup is still needed for selection we get from other engines
-- (example: pdf selection "qu’ autrefois," will be cleaned to "autrefois")
2016-12-06 21:15:52 +00:00
--
2017-04-09 14:58:41 +00:00
-- Replace extended quote (included in the general puncturation range)
-- with plain ascii quote (for french words like "aujourd’ hui")
2016-12-06 21:15:52 +00:00
text = string.gsub ( text , " \xE2 \x80 \x99 " , " ' " ) -- U+2019 (right single quotation mark)
-- Strip punctuation characters around selection
text = util.stripePunctuations ( text )
2017-04-09 14:58:41 +00:00
-- Strip some common english grammatical construct
text = string.gsub ( text , " 's$ " , ' ' ) -- english possessive
-- Strip some common french grammatical constructs
text = string.gsub ( text , " ^[LSDMNTlsdmnt]' " , ' ' ) -- french l' s' t'...
2016-12-06 21:15:52 +00:00
text = string.gsub ( text , " ^[Qq][Uu]' " , ' ' ) -- french qu'
2017-04-09 14:58:41 +00:00
-- Replace no-break space with regular space
text = string.gsub ( text , " \xC2 \xA0 " , ' ' ) -- U+00A0 no-break space
-- There may be a need to remove some (all?) diacritical marks
-- https://en.wikipedia.org/wiki/Combining_character#Unicode_ranges
-- see discussion at https://github.com/koreader/koreader/issues/1649
-- Commented for now, will have to be checked by people who read
-- languages and texts that use them.
-- text = string.gsub(text, "\204[\128-\191]", '') -- U+0300 to U+033F
-- text = string.gsub(text, "\205[\128-\175]", '') -- U+0340 to U+036F
2016-12-06 21:15:52 +00:00
return text
end
function ReaderDictionary : onLookupStarted ( word )
local text = T ( self.lookup_msg , word )
self.lookup_progress_msg = InfoMessage : new { text = text }
UIManager : show ( self.lookup_progress_msg )
UIManager : forceRePaint ( )
end
function ReaderDictionary : onLookupDone ( )
if self.lookup_progress_msg then
UIManager : close ( self.lookup_progress_msg )
UIManager : forceRePaint ( )
end
self.lookup_progress_msg = nil
end
2013-12-26 14:40:40 +00:00
function ReaderDictionary : stardictLookup ( word , box )
2016-12-29 08:10:38 +00:00
logger.dbg ( " lookup word: " , word , box )
2016-12-06 21:15:52 +00:00
-- escape quotes and other funny characters in word
word = self : cleanSelection ( word )
2016-12-29 08:10:38 +00:00
logger.dbg ( " stripped word: " , word )
2016-12-06 21:15:52 +00:00
if word == " " then
return
end
self : onLookupStarted ( word )
local final_results = { }
local seen_results = { }
-- Allow for two sdcv calls : one in the classic data/dict, and
-- another one in data/dict_ext if it exists
-- We could put in data/dict_ext dictionaries with a great number of words
-- but poor definitions as a fall back. If these were in data/dict,
-- they would prevent fuzzy searches in other dictories with better
-- definitions, and masks such results. This way, we can get both.
local dict_dirs = { self.data_dir }
local dict_ext = self.data_dir .. " _ext "
if lfs.attributes ( dict_ext , " mode " ) == " directory " then
table.insert ( dict_dirs , dict_ext )
end
2017-04-26 06:12:25 +00:00
-- early exit if no dictionaries
if dictDirsEmpty ( dict_dirs ) then
final_results = {
{
dict = " " ,
word = word ,
definition = _ ( [[No dictionaries installed. Please search for "Dictionary support" in the KOReader Wiki to get more information about installing new dictionaries.]] ) ,
}
}
self : onLookupDone ( )
self : showDict ( word , final_results , box )
return
end
2016-12-06 21:15:52 +00:00
for _ , dict_dir in ipairs ( dict_dirs ) do
2014-03-13 13:52:43 +00:00
local results_str = nil
2015-04-22 06:27:05 +00:00
if Device : isAndroid ( ) then
local A = require ( " android " )
results_str = A.stdout ( " ./sdcv " , " --utf8-input " , " --utf8-output " ,
2016-12-06 21:15:52 +00:00
" -nj " , word , " --data-dir " , dict_dir )
2015-04-22 06:27:05 +00:00
else
local std_out = io.popen ( " ./sdcv --utf8-input --utf8-output -nj "
2016-12-06 21:15:52 +00:00
.. ( " %q " ) : format ( word ) .. " --data-dir " .. dict_dir , " r " )
2015-04-22 06:27:05 +00:00
if std_out then
results_str = std_out : read ( " *all " )
std_out : close ( )
end
2014-11-26 09:01:34 +00:00
end
2015-03-21 03:39:25 +00:00
local ok , results = pcall ( JSON.decode , results_str )
2014-07-24 14:11:25 +00:00
if ok and results then
2016-12-06 21:15:52 +00:00
-- we may get duplicates (sdcv may do multiple queries,
-- in fixed mode then in fuzzy mode), we have to remove them
local h
for _ , r in ipairs ( results ) do
h = r.dict .. r.word .. r.definition
if seen_results [ h ] == nil then
table.insert ( final_results , r )
seen_results [ h ] = true
end
end
2014-07-24 14:11:25 +00:00
else
2016-12-29 08:10:38 +00:00
logger.warn ( " JSON data cannot be decoded " , results )
2014-03-13 13:52:43 +00:00
end
end
2016-12-06 21:15:52 +00:00
if # final_results == 0 then
-- dummy results
final_results = {
{
dict = " " ,
word = word ,
definition = _ ( " No definition found. " ) ,
}
}
end
self : onLookupDone ( )
self : showDict ( word , tidyMarkup ( final_results ) , box )
2013-04-23 22:59:52 +00:00
end
2013-04-24 14:57:03 +00:00
2014-08-20 10:25:37 +00:00
function ReaderDictionary : showDict ( word , results , box )
2014-08-17 16:32:09 +00:00
if results and results [ 1 ] then
2016-12-29 08:10:38 +00:00
logger.dbg ( " showing quick lookup window " , word , results )
2014-11-21 10:32:43 +00:00
self.dict_window = DictQuickLookup : new {
2016-06-28 16:35:00 +00:00
window_list = self.dict_window_list ,
2014-03-13 13:52:43 +00:00
ui = self.ui ,
highlight = self.highlight ,
dialog = self.dialog ,
2014-08-20 10:25:37 +00:00
-- original lookup word
word = word ,
2014-03-13 13:52:43 +00:00
results = results ,
dictionary = self.default_dictionary ,
2014-11-20 22:07:39 +00:00
width = Screen : getWidth ( ) - Screen : scaleBySize ( 80 ) ,
2014-08-20 06:41:45 +00:00
word_box = box ,
-- differentiate between dict and wiki
2016-12-06 21:15:52 +00:00
is_wiki = self.is_wiki ,
wiki_languages = self.wiki_languages ,
2017-03-24 07:20:37 +00:00
refresh_callback = function ( )
-- update info in footer (time, battery, etc)
self.view . footer : updateFooter ( )
end ,
2014-11-21 10:32:43 +00:00
}
2016-06-28 16:35:00 +00:00
table.insert ( self.dict_window_list , self.dict_window )
2014-12-01 14:39:41 +00:00
UIManager : show ( self.dict_window )
2014-03-13 13:52:43 +00:00
end
2013-04-24 14:57:03 +00:00
end
2013-07-21 06:23:54 +00:00
function ReaderDictionary : onUpdateDefaultDict ( dict )
2016-12-29 08:10:38 +00:00
logger.dbg ( " make default dictionary: " , dict )
2014-03-13 13:52:43 +00:00
self.default_dictionary = dict
2014-11-28 13:20:38 +00:00
UIManager : show ( InfoMessage : new {
2017-05-08 07:26:01 +00:00
text = T ( _ ( " %1 is now the default dictionary for this document. " ) ,
dict ) ,
2014-11-28 13:20:38 +00:00
timeout = 2 ,
} )
2014-08-20 06:41:45 +00:00
return true
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 ( )
2016-12-29 08:10:38 +00:00
logger.dbg ( " save default dictionary " , self.default_dictionary )
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