From 65456208916451c165efb8e3d6ac5870a04cac4e Mon Sep 17 00:00:00 2001
From: David Voigt <40773635+dvdvgt@users.noreply.github.com>
Date: Sat, 25 Mar 2023 13:35:32 +0100
Subject: [PATCH] change page numbering for outline (#284)

---
 library/src/meta/outline.rs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/library/src/meta/outline.rs b/library/src/meta/outline.rs
index 002d757e0..38eb3a174 100644
--- a/library/src/meta/outline.rs
+++ b/library/src/meta/outline.rs
@@ -1,4 +1,4 @@
-use super::{Counter, HeadingElem, LocalName};
+use super::{Counter, CounterKey, HeadingElem, LocalName};
 use crate::layout::{BoxElem, HElem, HideElem, ParbreakElem, RepeatElem};
 use crate::prelude::*;
 use crate::text::{LinebreakElem, SpaceElem, TextElem};
@@ -160,7 +160,10 @@ impl Show for OutlineElem {
             }
 
             // Add the page number and linebreak.
-            let page = vt.introspector.page(location);
+            let page = Counter::new(CounterKey::Page)
+                // query the page counter state at location of heading
+                .at(vt, location)?
+                .first();
             let end = TextElem::packed(eco_format!("{page}"));
             seq.push(end.linked(Destination::Location(location)));
             seq.push(LinebreakElem::new().pack());