diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2008-07-01 15:42:36 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2008-07-01 15:42:36 +0000 |
| commit | 6552be7f745c5a8d506148c8af9d367c9d996d24 (patch) | |
| tree | b9d673871a1490b64273a265d4d961316a2174db /Build/source/texk/xdvik/pagehist.h | |
| parent | 48e2b240973977c208bc840b589b75b91a6f4c30 (diff) | |
xdvik 22.84.14
git-svn-id: svn://tug.org/texlive/trunk@9142 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/xdvik/pagehist.h')
| -rw-r--r-- | Build/source/texk/xdvik/pagehist.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/xdvik/pagehist.h b/Build/source/texk/xdvik/pagehist.h index 2b23b1a4261..ee21eaaf48a 100644 --- a/Build/source/texk/xdvik/pagehist.h +++ b/Build/source/texk/xdvik/pagehist.h @@ -28,6 +28,7 @@ extern void page_history_insert(int n); extern void page_history_delete(int n); extern void page_history_update_toolbar_navigation(void); extern void page_history_clear(void); +extern int page_history_get_page(void); #endif /* PAGEHIST_H_ */ |