Restart KOReader: add a ConfirmBox instead of a plain InfoMessage (#9853)

frontend/ui/elements/screen_disable_double_tap_table.lua

@@ -1,4 +1,3 @@
-local InfoMessage = require("ui/widget/infomessage")
 local UIManager = require("ui/uimanager")
 local _ = require("gettext")
 
@@ -10,8 +9,6 @@ return {
     callback = function()
         local disabled = G_reader_settings:nilOrTrue("disable_double_tap")
         G_reader_settings:saveSetting("disable_double_tap", not disabled)
-        UIManager:show(InfoMessage:new{
-            text = _("This will take effect on next restart."),
-        })
+        UIManager:askForRestart()
     end,
 }