|
|
@ -248,7 +248,7 @@ function ReaderDictionary:addToMainMenu(menu_items)
|
|
|
|
if nb_disabled > 0 then
|
|
|
|
if nb_disabled > 0 then
|
|
|
|
nb_str = nb_enabled .. "/" .. nb_available
|
|
|
|
nb_str = nb_enabled .. "/" .. nb_available
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return T(_("Manage dictionaries (%1)"), nb_str)
|
|
|
|
return T(_("Manage dictionaries: %1"), nb_str)
|
|
|
|
end,
|
|
|
|
end,
|
|
|
|
enabled_func = function()
|
|
|
|
enabled_func = function()
|
|
|
|
return self:getNumberOfDictionaries() > 0
|
|
|
|
return self:getNumberOfDictionaries() > 0
|
|
|
@ -326,7 +326,7 @@ function ReaderDictionary:addToMainMenu(menu_items)
|
|
|
|
{ -- setting used by dictquicklookup
|
|
|
|
{ -- setting used by dictquicklookup
|
|
|
|
text_func = function()
|
|
|
|
text_func = function()
|
|
|
|
local font_size = G_reader_settings:readSetting("dict_font_size") or 20
|
|
|
|
local font_size = G_reader_settings:readSetting("dict_font_size") or 20
|
|
|
|
return T(_("Font size (%1)"), font_size)
|
|
|
|
return T(_("Font size: %1"), font_size)
|
|
|
|
end,
|
|
|
|
end,
|
|
|
|
callback = function(touchmenu_instance)
|
|
|
|
callback = function(touchmenu_instance)
|
|
|
|
local SpinWidget = require("ui/widget/spinwidget")
|
|
|
|
local SpinWidget = require("ui/widget/spinwidget")
|
|
|
|