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