3 #define isspace proofisspace
8 #define DEFMAG (10.0/11.0) /* was (10.0/11.0), then 1 */
13 #define devname proof_devname
14 #define getc proof_getc
15 #define ungetc proof_ungetc
17 extern char devname[];
20 extern int hpos, vpos, curfont, cursize;
24 extern Point offset; /* for small pages within big page */
25 extern Point xyoffset; /* for explicit x,y move */
26 extern Cursor deadmouse;
31 void clearscreen(void);
32 char *getcmdstr(void);
34 void readmapfile(char *);
37 void loadfontname(int, char *);
42 extern int getc(void);
43 extern int getrune(void);
44 extern void ungetc(void);
45 extern ulong offsetc(void);
46 extern ulong seekc(ulong);
47 extern char* rdlinec(void);
50 #define dprint if (dbg) fprint