From 087f605fd9b32eb1d48407d84770213c87f66131 Mon Sep 17 00:00:00 2001
From: poire-z <poire-z@users.noreply.github.com>
Date: Sun, 11 Sep 2022 19:49:10 +0200
Subject: [PATCH] Allow F5 key to reload document

---
 frontend/apps/reader/readerui.lua | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/frontend/apps/reader/readerui.lua b/frontend/apps/reader/readerui.lua
index a6aeb0e14..f2150ae52 100644
--- a/frontend/apps/reader/readerui.lua
+++ b/frontend/apps/reader/readerui.lua
@@ -122,6 +122,7 @@ function ReaderUI:init()
 
     if Device:hasKeys() then
         self.key_events.Home = { {"Home"}, doc = "open file browser" }
+        self.key_events.Reload = { {"F5"}, doc = "reload document" }
     end
 
     -- a view container (so it must be child #1!)
@@ -811,6 +812,10 @@ function ReaderUI:onHome()
     return true
 end
 
+function ReaderUI:onReload()
+    self:reloadDocument()
+end
+
 function ReaderUI:reloadDocument(after_close_callback)
     local file = self.document.file
     local provider = getmetatable(self.document).__index