2017-06-19 00:08:57 +08:00
local ConfirmBox = require ( " ui/widget/confirmbox " )
2015-10-03 14:18:47 +08:00
local DataStorage = require ( " datastorage " )
2015-04-15 20:28:32 +08:00
local Device = require ( " device " )
2017-04-07 15:20:57 +02:00
local DictQuickLookup = require ( " ui/widget/dictquicklookup " )
local InfoMessage = require ( " ui/widget/infomessage " )
2017-06-19 00:08:57 +08:00
local InputContainer = require ( " ui/widget/container/inputcontainer " )
2015-03-21 11:39:25 +08:00
local JSON = require ( " json " )
2017-04-07 15:20:57 +02:00
local UIManager = require ( " ui/uimanager " )
2016-12-29 00:10:38 -08:00
local logger = require ( " logger " )
2016-12-06 22:15:52 +01:00
local util = require ( " util " )
2014-07-24 22:11:25 +08:00
local _ = require ( " gettext " )
2017-04-07 15:20:57 +02:00
local Screen = Device.screen
2014-11-28 13:53:42 +00:00
local T = require ( " ffi/util " ) . template
2013-04-24 06:59:52 +08:00
2015-04-15 20:28:32 +08:00
local ReaderDictionary = InputContainer : new {
data_dir = nil ,
2016-06-29 00:35:00 +08:00
dict_window_list = { } ,
2016-12-06 22:15:52 +01:00
lookup_msg = _ ( " Searching dictionary for: \n %1 " )
2015-04-15 20:28:32 +08:00
}
2014-10-15 18:01:58 +08:00
function ReaderDictionary : init ( )
self.ui . menu : registerToMainMenu ( self )
2015-10-03 14:18:47 +08:00
self.data_dir = os.getenv ( " STARDICT_DATA_DIR " ) or
DataStorage : getDataDir ( ) .. " /data/dict "
2014-10-15 18:01:58 +08:00
end
2017-03-04 14:46:38 +01:00
function ReaderDictionary : addToMainMenu ( menu_items )
menu_items.dictionary_lookup = {
2014-10-15 18:01:58 +08:00
text = _ ( " Dictionary lookup " ) ,
tap_input = {
2014-11-14 23:04:27 +01:00
title = _ ( " Enter a word to look up " ) ,
2017-04-07 15:20:57 +02:00
ok_text = _ ( " Search dictionary " ) ,
2014-10-15 18:01:58 +08:00
type = " text " ,
callback = function ( input )
self : onLookupWord ( input )
end ,
} ,
2017-02-28 22:46:32 +01:00
}
2017-06-19 00:08:57 +08:00
menu_items.disable_fuzzy_search = {
text = _ ( " Disable dictionary fuzzy search " ) ,
checked_func = function ( )
return self.disable_fuzzy_search == true
end ,
callback = function ( )
self.disable_fuzzy_search = not self.disable_fuzzy_search
end ,
hold_callback = function ( )
self : makeDisableFuzzyDefault ( self.disable_fuzzy_search )
end ,
}
2014-10-15 18:01:58 +08:00
end
2013-04-24 06:59:52 +08:00
2014-08-18 00:32:09 +08:00
function ReaderDictionary : onLookupWord ( word , box , highlight )
2014-03-13 21:52:43 +08:00
self.highlight = highlight
self : stardictLookup ( word , box )
2014-08-20 14:41:45 +08:00
return true
2013-04-30 18:45:12 +08:00
end
2017-04-26 08:12:25 +02: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 22:15:52 +01:00
local function tidyMarkup ( results )
2014-10-28 15:57:01 +08:00
local cdata_tag = " <!%[CDATA%[(.-)%]%]> "
local format_escape = " &[29Ib%+]{(.-)} "
for _ , result in ipairs ( results ) do
2014-10-29 16:42:00 +08:00
local def = result.definition
-- preserve the <br> tag for line break
def = def : gsub ( " <[bB][rR] ?/?> " , " \n " )
2014-10-28 15:57:01 +08:00
-- parse CDATA text in XML
2014-10-29 16:42:00 +08:00
if def : find ( cdata_tag ) then
def = def : gsub ( cdata_tag , " %1 " )
2014-10-28 15:57:01 +08:00
-- ignore format strings
while def : find ( format_escape ) do
def = def : gsub ( format_escape , " %1 " )
end
end
2014-10-29 16:42:00 +08:00
-- ignore all markup tags
def = def : gsub ( " %b<> " , " " )
2016-12-01 15:34:40 +03:00
-- strip all leading empty lines/spaces
def = def : gsub ( " ^%s+ " , " " )
2014-10-29 16:42:00 +08:00
result.definition = def
2014-10-28 15:57:01 +08:00
end
return results
end
2016-12-06 22:15:52 +01:00
function ReaderDictionary : cleanSelection ( text )
-- Will be used by ReaderWikipedia too
if not text then
return " "
end
2017-04-09 16:58:41 +02: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 22:15:52 +01:00
--
2017-04-09 16:58:41 +02:00
-- Replace extended quote (included in the general puncturation range)
-- with plain ascii quote (for french words like "aujourd’ hui")
2016-12-06 22:15:52 +01: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 16:58:41 +02: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 22:15:52 +01:00
text = string.gsub ( text , " ^[Qq][Uu]' " , ' ' ) -- french qu'
2017-04-09 16:58:41 +02: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 22:15:52 +01:00
return text
end
2017-06-19 00:08:57 +08:00
function ReaderDictionary : showLookupInfo ( word )
2016-12-06 22:15:52 +01:00
local text = T ( self.lookup_msg , word )
self.lookup_progress_msg = InfoMessage : new { text = text }
UIManager : show ( self.lookup_progress_msg )
UIManager : forceRePaint ( )
end
2017-06-19 00:08:57 +08:00
function ReaderDictionary : dismissLookupInfo ( )
2016-12-06 22:15:52 +01:00
if self.lookup_progress_msg then
UIManager : close ( self.lookup_progress_msg )
UIManager : forceRePaint ( )
end
self.lookup_progress_msg = nil
end
2013-12-26 22:40:40 +08:00
function ReaderDictionary : stardictLookup ( word , box )
2016-12-29 00:10:38 -08:00
logger.dbg ( " lookup word: " , word , box )
2016-12-06 22:15:52 +01:00
-- escape quotes and other funny characters in word
word = self : cleanSelection ( word )
2016-12-29 00:10:38 -08:00
logger.dbg ( " stripped word: " , word )
2016-12-06 22:15:52 +01:00
if word == " " then
return
end
2017-06-19 00:08:57 +08:00
if not self.disable_fuzzy_search then
self : showLookupInfo ( word )
end
2016-12-06 22:15:52 +01:00
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 08:12:25 +02: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 : showDict ( word , final_results , box )
return
end
2016-12-06 22:15:52 +01:00
for _ , dict_dir in ipairs ( dict_dirs ) do
2014-03-13 21:52:43 +08:00
local results_str = nil
2017-06-19 00:08:57 +08:00
local common_options = self.disable_fuzzy_search and " -njf " or " -nj "
2015-04-22 14:27:05 +08:00
if Device : isAndroid ( ) then
local A = require ( " android " )
results_str = A.stdout ( " ./sdcv " , " --utf8-input " , " --utf8-output " ,
2017-06-19 00:08:57 +08:00
common_options , word , " --data-dir " , dict_dir )
2015-04-22 14:27:05 +08:00
else
2017-05-09 00:29:21 -07:00
local std_out = io.popen (
2017-06-19 00:08:57 +08:00
( " ./sdcv --utf8-input --utf8-output %q %q --data-dir %q " ) : format ( common_options , word , dict_dir ) ,
2017-05-09 00:29:21 -07:00
" r " )
2015-04-22 14:27:05 +08: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 11:39:25 +08:00
local ok , results = pcall ( JSON.decode , results_str )
2014-07-24 22:11:25 +08:00
if ok and results then
2016-12-06 22:15:52 +01: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 22:11:25 +08:00
else
2016-12-29 00:10:38 -08:00
logger.warn ( " JSON data cannot be decoded " , results )
2014-03-13 21:52:43 +08:00
end
end
2016-12-06 22:15:52 +01:00
if # final_results == 0 then
-- dummy results
final_results = {
{
dict = " " ,
word = word ,
definition = _ ( " No definition found. " ) ,
}
}
end
self : showDict ( word , tidyMarkup ( final_results ) , box )
2013-04-24 06:59:52 +08:00
end
2013-04-24 22:57:03 +08:00
2014-08-20 18:25:37 +08:00
function ReaderDictionary : showDict ( word , results , box )
2017-06-19 00:08:57 +08:00
self : dismissLookupInfo ( )
2014-08-18 00:32:09 +08:00
if results and results [ 1 ] then
2016-12-29 00:10:38 -08:00
logger.dbg ( " showing quick lookup window " , word , results )
2014-11-21 18:32:43 +08:00
self.dict_window = DictQuickLookup : new {
2016-06-29 00:35:00 +08:00
window_list = self.dict_window_list ,
2014-03-13 21:52:43 +08:00
ui = self.ui ,
highlight = self.highlight ,
dialog = self.dialog ,
2014-08-20 18:25:37 +08:00
-- original lookup word
word = word ,
2014-03-13 21:52:43 +08:00
results = results ,
dictionary = self.default_dictionary ,
2014-11-20 23:07:39 +01:00
width = Screen : getWidth ( ) - Screen : scaleBySize ( 80 ) ,
2014-08-20 14:41:45 +08:00
word_box = box ,
-- differentiate between dict and wiki
2016-12-06 22:15:52 +01:00
is_wiki = self.is_wiki ,
wiki_languages = self.wiki_languages ,
2017-03-24 00:20:37 -07:00
refresh_callback = function ( )
2017-05-12 18:28:42 +02:00
if self.view then
-- update info in footer (time, battery, etc)
self.view . footer : updateFooter ( )
end
2017-03-24 00:20:37 -07:00
end ,
2014-11-21 18:32:43 +08:00
}
2016-06-29 00:35:00 +08: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 21:52:43 +08:00
end
2013-04-24 22:57:03 +08:00
end
2013-07-21 14:23:54 +08:00
function ReaderDictionary : onUpdateDefaultDict ( dict )
2016-12-29 00:10:38 -08:00
logger.dbg ( " make default dictionary: " , dict )
2014-03-13 21:52:43 +08:00
self.default_dictionary = dict
2014-11-28 13:20:38 +00:00
UIManager : show ( InfoMessage : new {
2017-05-08 00:26:01 -07: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 14:41:45 +08:00
return true
2013-07-21 14:23:54 +08:00
end
function ReaderDictionary : onReadSettings ( config )
2014-03-13 21:52:43 +08:00
self.default_dictionary = config : readSetting ( " default_dictionary " )
2017-06-19 00:08:57 +08:00
self.disable_fuzzy_search = config : readSetting ( " disable_fuzzy_search " )
if self.disable_fuzzy_search == nil then
self.disable_fuzzy_search = G_reader_settings : isTrue ( " disable_fuzzy_search " )
end
2013-07-21 14:23:54 +08:00
end
2013-12-27 23:18:16 +08:00
function ReaderDictionary : onSaveSettings ( )
2016-12-29 00:10:38 -08:00
logger.dbg ( " save default dictionary " , self.default_dictionary )
2014-03-13 21:52:43 +08:00
self.ui . doc_settings : saveSetting ( " default_dictionary " , self.default_dictionary )
2017-06-19 00:08:57 +08:00
self.ui . doc_settings : saveSetting ( " disable_fuzzy_search " , self.disable_fuzzy_search )
end
function ReaderDictionary : makeDisableFuzzyDefault ( disable_fuzzy_search )
logger.dbg ( " disable fuzzy search " , self.disable_fuzzy_search )
UIManager : show ( ConfirmBox : new {
text = T (
disable_fuzzy_search
and _ ( " Disable fuzzy search by default? " )
or _ ( " Enable fuzzy search by default? " )
) ,
ok_callback = function ( )
G_reader_settings : saveSetting ( " disable_fuzzy_search " , disable_fuzzy_search )
end ,
} )
2013-07-21 14:23:54 +08:00
end
2013-10-18 22:38:07 +02:00
return ReaderDictionary