Closed sebastinas closed 5 months ago
On GitLab by @colingeniet on Apr 24, 2024, 24:18
Merges develop -> develop
Add page labels in the index when available, showing as e.g. "Page iv (6)". Page number is in parenthesis, like in the status bar. When no label is defined, the old format is used.
mentioned in commit f98f8ee659fd8292cf4f10692527c760855a6f1c
On GitLab by @colingeniet on Apr 24, 2024, 24:18
Merges develop -> develop
Add page labels in the index when available, showing as e.g. "Page iv (6)". Page number is in parenthesis, like in the status bar. When no label is defined, the old format is used.