-
Colin Geniet authored
Displays target page as "Page <label> (<number>)" in the index, e.g. "Page iv (6)". When no page label is defined, the previous "Page <number>" format is retained. This is consistant with the status bar formatting. The additional "(<number>)" is in a new column to keep it aligned.
2fb3992d