| #include <cursor.h> |
| #undef isspace |
| #define isspace proofisspace |
| #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; |