Skip to content
  • Colin Geniet's avatar
    index: Display page label alongside page number · 2fb3992d
    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.