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