fix(ui): show the physical page position under a labelled page box (#2834)

When the current page's label is not its page number (front matter
numbered i, ii, then 1, 2 …), the rail shows "3/180" under the page box
instead of only the page count, with "Page 3 of 180" on hover. It falls
back to the count when the text would not fit the rail. The page box
itself already shows and accepts labels since #1667 (0.8.0 showed the
physical index).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Christoph Ortenburg
2026-10-19 14:19:54 -04:00
co-authored by Claude Opus 5.5
parent 459379ef9b
commit 3261b6ddb8
3 changed files with 34 additions and 2 deletions
+1 -1
View File
@@ -1155,7 +1155,7 @@ status = "shipped"
commands = []
tools = []
evidence = ["crates/ui-egui/tests/viewer.rs::layouts_fit_height_labels_and_system_theme"]
notes = "the page box takes labels (iv, A-1) before numbers"
notes = "the page box shows the current page's label and takes labels (iv, A-1) before numbers; where the label is not the page number the rail shows the physical position under it (3/180, dropped to the page count when it does not fit). Not yet: a preference to show physical numbers only, and labels in the organize bar's Page n of m"
[[feature]]
id = "view.view-history"