#include <cursor.h> | |
#undef isspace | |
#define NPAGES 500 | |
#define NFONT 33 | |
#define NSIZE 40 | |
#define MINSIZE 4 | |
#define DEFMAG (10.0/11.0) /* was (10.0/11.0), then 1 */ | |
#define MAXVIEW 40 | |
#define ONES ~0 | |
#define devname proof_devname | |
#define getc proof_getc | |
#define ungetc proof_ungetc | |
extern char devname[]; | |
extern double mag; | |
extern int nview; | |
extern int hpos, vpos, curfont, cursize; | |
extern int DIV, res; | |
extern int Mode; | |
extern Point offset; /* for small pages within big page */ | |
extern Point xyoffset; /* for explicit x,y move */ | |
extern Cursor deadmouse; | |
extern char *libfont; | |
void mapscreen(void); | |
void clearscreen(void); | |
char *getcmdstr(void); | |
void readmapfile(char *); | |
void dochar(Rune*); | |
void bufput(void); | |
void loadfontname(int, char *); | |
void allfree(void); | |
void readpage(void); | |
int isspace(int); | |
extern int getc(void); | |
extern int getrune(void); | |
extern void ungetc(void); | |
extern ulong offsetc(void); | |
extern ulong seekc(ulong); | |
extern char* rdlinec(void); | |
#define dprint if (dbg) fprint | |
extern int dbg; | |
extern int resized; |