2016-06-27 15:00:49 +00:00
|
|
|
local UIManager = require("ui/uimanager")
|
|
|
|
local _ = require("gettext")
|
|
|
|
|
|
|
|
return {
|
|
|
|
text = _("Disable double tap"),
|
|
|
|
checked_func = function()
|
2021-03-06 21:44:18 +00:00
|
|
|
return G_reader_settings:nilOrTrue("disable_double_tap")
|
2016-06-27 15:00:49 +00:00
|
|
|
end,
|
|
|
|
callback = function()
|
2021-03-06 21:44:18 +00:00
|
|
|
local disabled = G_reader_settings:nilOrTrue("disable_double_tap")
|
2016-06-27 15:00:49 +00:00
|
|
|
G_reader_settings:saveSetting("disable_double_tap", not disabled)
|
2022-12-03 20:29:13 +00:00
|
|
|
UIManager:askForRestart()
|
2016-06-27 15:00:49 +00:00
|
|
|
end,
|
|
|
|
}
|