From 8d49b8d46bf18395feba6686e1cd93d82404f116 Mon Sep 17 00:00:00 2001
From: poire-z <poire-z@users.noreply.github.com>
Date: Mon, 16 Nov 2020 15:47:07 +0100
Subject: [PATCH] Reference page numbers list: highlight current page

---
 frontend/apps/reader/modules/readerpagemap.lua | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/frontend/apps/reader/modules/readerpagemap.lua b/frontend/apps/reader/modules/readerpagemap.lua
index a89ca30a6..9257dca9d 100644
--- a/frontend/apps/reader/modules/readerpagemap.lua
+++ b/frontend/apps/reader/modules/readerpagemap.lua
@@ -192,10 +192,19 @@ ReaderPageMap.onSetStatusLine = ReaderPageMap.updateVisibleLabels
 
 function ReaderPageMap:onShowPageList()
     -- build up item_table
+    local cur_page = self.ui.document:getCurrentPage()
+    local cur_page_idx = 0
     local page_list = self.ui.document:getPageMap()
     for k, v in ipairs(page_list) do
         v.text = v.label
         v.mandatory = v.page
+        if v.page <= cur_page then
+            cur_page_idx = k
+        end
+    end
+    if cur_page_idx > 0 then
+        -- Have Menu jump to the current page and show it in bold
+        page_list.current = cur_page_idx
     end
 
     local pl_menu = Menu:new{