From 26750dab99e2000a31f3b9f7697cddf9a7a3ffe8 Mon Sep 17 00:00:00 2001 From: poire-z Date: Thu, 20 May 2021 23:04:57 +0200 Subject: [PATCH] ReaderHighlight: clearer symbols on selection start/end buttons --- frontend/apps/reader/modules/readerhighlight.lua | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/frontend/apps/reader/modules/readerhighlight.lua b/frontend/apps/reader/modules/readerhighlight.lua index fb0bdae12..fc8109ed5 100644 --- a/frontend/apps/reader/modules/readerhighlight.lua +++ b/frontend/apps/reader/modules/readerhighlight.lua @@ -617,15 +617,14 @@ function ReaderHighlight:onShowHighlightDialog(page, index) } if not self.ui.document.info.has_pages then - local start_prev = "◁⇱" - local start_next = "⇱▷" - local end_prev = "◁⇲" - local end_next = "⇲▷" + local start_prev = "◁▒▒" + local start_next = "▷▒▒" + local end_prev = "▒▒◁" + local end_next = "▒▒▷" if BD.mirroredUILayout() then - -- Sadly, there's only north west & south east arrow to corner, - -- north east and south west do not exist in Unicode. - start_prev, start_next = BD.ltr(start_next), BD.ltr(start_prev) - end_prev, end_next = BD.ltr(end_next), BD.ltr(end_prev) + -- BiDi will mirror the arrows, and this just works + start_prev, start_next = start_next, start_prev + end_prev, end_next = end_next, end_prev end table.insert(buttons, { {