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