86 lines
1.3 KiB
C
86 lines
1.3 KiB
C
/*
|
|
* page.c
|
|
*
|
|
* map page numbers to file position
|
|
*/
|
|
|
|
#include <X11/Xos.h>
|
|
#include <X11/IntrinsicP.h>
|
|
#include <X11/StringDefs.h>
|
|
#include <stdio.h>
|
|
#include <ctype.h>
|
|
#include "DviP.h"
|
|
|
|
static DviFileMap *
|
|
MapPageNumberToFileMap (dw, number)
|
|
DviWidget dw;
|
|
int number;
|
|
{
|
|
DviFileMap *m;
|
|
|
|
for (m = dw->dvi.file_map; m; m=m->next)
|
|
if (m->page_number == number)
|
|
break;
|
|
return m;
|
|
}
|
|
|
|
DestroyFileMap (m)
|
|
DviFileMap *m;
|
|
{
|
|
DviFileMap *next;
|
|
|
|
for (; m; m = next) {
|
|
next = m->next;
|
|
free ((char *) m);
|
|
}
|
|
}
|
|
|
|
ForgetPagePositions (dw)
|
|
DviWidget dw;
|
|
{
|
|
DestroyFileMap (dw->dvi.file_map);
|
|
dw->dvi.file_map = 0;
|
|
}
|
|
|
|
RememberPagePosition(dw, number)
|
|
DviWidget dw;
|
|
int number;
|
|
{
|
|
extern long ftell();
|
|
DviFileMap *m;
|
|
|
|
if (!(m = MapPageNumberToFileMap (dw, number))) {
|
|
m = (DviFileMap *) malloc (sizeof *m);
|
|
m->page_number = number;
|
|
m->next = dw->dvi.file_map;
|
|
dw->dvi.file_map = m;
|
|
}
|
|
if (dw->dvi.tmpFile)
|
|
m->position = ftell (dw->dvi.tmpFile);
|
|
else
|
|
m->position = ftell (dw->dvi.file);
|
|
}
|
|
|
|
SearchPagePosition (dw, number)
|
|
DviWidget dw;
|
|
int number;
|
|
{
|
|
DviFileMap *m;
|
|
|
|
if (!(m = MapPageNumberToFileMap (dw, number)))
|
|
return -1;
|
|
return m->position;
|
|
}
|
|
|
|
FileSeek(dw, position)
|
|
DviWidget dw;
|
|
long position;
|
|
{
|
|
if (dw->dvi.tmpFile) {
|
|
dw->dvi.readingTmp = 1;
|
|
fseek (dw->dvi.tmpFile, position, 0);
|
|
} else
|
|
fseek (dw->dvi.file, position, 0);
|
|
}
|
|
|