1 #include <cursor.h>
2 #undef isspace
3 #define isspace proofisspace
4 #define	NPAGES	500
5 #define NFONT	33
6 #define NSIZE	40
7 #define MINSIZE 4
8 #define	DEFMAG	(10.0/11.0)	/* was (10.0/11.0), then 1 */
9 #define MAXVIEW 40
10 
11 #define	ONES	~0
12 
13 #define devname proof_devname
14 #define getc	proof_getc
15 #define ungetc	proof_ungetc
16 
17 extern	char	devname[];
18 extern	double	mag;
19 extern	int	nview;
20 extern	int	hpos, vpos, curfont, cursize;
21 extern	int	DIV, res;
22 extern	int	Mode;
23 
24 extern	Point	offset;		/* for small pages within big page */
25 extern	Point	xyoffset;	/* for explicit x,y move */
26 extern	Cursor	deadmouse;
27 
28 extern	char	*libfont;
29 
30 void	mapscreen(void);
31 void	clearscreen(void);
32 char	*getcmdstr(void);
33 
34 void	readmapfile(char *);
35 void	dochar(Rune*);
36 void	bufput(void);
37 void	loadfontname(int, char *);
38 void	allfree(void);
39 void	readpage(void);
40 int	isspace(int);
41 
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);
48 
49 
50 #define	dprint	if (dbg) fprint
51 
52 extern	int	dbg;
53 extern	int	resized;