7 #define DEFMAG (10.0/11.0) /* was (10.0/11.0), then 1 */
12 #define devname proof_devname
13 #define getc proof_getc
14 #define ungetc proof_ungetc
16 extern char devname[];
19 extern int hpos, vpos, curfont, cursize;
23 extern Point offset; /* for small pages within big page */
24 extern Point xyoffset; /* for explicit x,y move */
25 extern Cursor deadmouse;
30 void clearscreen(void);
31 char *getcmdstr(void);
33 void readmapfile(char *);
36 void loadfontname(int, char *);
41 extern int getc(void);
42 extern int getrune(void);
43 extern void ungetc(void);
44 extern ulong offsetc(void);
45 extern ulong seekc(ulong);
46 extern char* rdlinec(void);
49 #define dprint if (dbg) fprint