path: root/src/devices/xditview/page.h

void DestroyFileMap(DviFileMap *);
void FileSeek(DviWidget, long);
void ForgetPagePositions(DviWidget);
void RememberPagePosition(DviWidget, int);
long SearchPagePosition(DviWidget, int);