xref: /plan9-contrib/sys/src/cmd/proof/proof.h (revision 7dd7cddf99dd7472612f1413b4da293630e6b1bc)
13e12c5d1SDavid du Colombier #define	NPAGES	500
23e12c5d1SDavid du Colombier #define NFONT	33
33e12c5d1SDavid du Colombier #define NSIZE	40
43e12c5d1SDavid du Colombier #define MINSIZE 4
53e12c5d1SDavid du Colombier #define	DEFMAG	(10.0/11.0)	/* was (10.0/11.0), then 1 */
63e12c5d1SDavid du Colombier #define MAXVIEW 40
73e12c5d1SDavid du Colombier 
83e12c5d1SDavid du Colombier #define	ONES	~0
93e12c5d1SDavid du Colombier 
103e12c5d1SDavid du Colombier extern	char	devname[];
113e12c5d1SDavid du Colombier extern	double	mag;
123e12c5d1SDavid du Colombier extern	int	nview;
133e12c5d1SDavid du Colombier extern	int	hpos, vpos, curfont, cursize;
143e12c5d1SDavid du Colombier extern	int	DIV, res;
153e12c5d1SDavid du Colombier extern	int	Mode;
163e12c5d1SDavid du Colombier 
173e12c5d1SDavid du Colombier extern	Point	offset;		/* for small pages within big page */
183e12c5d1SDavid du Colombier extern	Point	xyoffset;	/* for explicit x,y move */
193e12c5d1SDavid du Colombier extern	Cursor	deadmouse;
203e12c5d1SDavid du Colombier 
213e12c5d1SDavid du Colombier extern	char	libfont[];
223e12c5d1SDavid du Colombier 
233e12c5d1SDavid du Colombier void	mapscreen(void);
243e12c5d1SDavid du Colombier void	clearscreen(void);
253e12c5d1SDavid du Colombier char	*getcmdstr(void);
263e12c5d1SDavid du Colombier 
273e12c5d1SDavid du Colombier void	readmapfile(char *);
28219b2ee8SDavid du Colombier void	dochar(Rune*);
293e12c5d1SDavid du Colombier void	bufput(void);
303e12c5d1SDavid du Colombier void	loadfontname(int, char *);
313e12c5d1SDavid du Colombier void	allfree(void);
323e12c5d1SDavid du Colombier void	readpage(void);
33219b2ee8SDavid du Colombier int	isspace(int);
34*7dd7cddfSDavid du Colombier extern	int	getc(void);
35*7dd7cddfSDavid du Colombier extern	int	getrune(void);
36*7dd7cddfSDavid du Colombier extern	void	ungetc(void);
37*7dd7cddfSDavid du Colombier extern	ulong	offsetc(void);
38*7dd7cddfSDavid du Colombier extern	ulong	seekc(ulong);
39*7dd7cddfSDavid du Colombier extern	char*	rdlinec(void);
40*7dd7cddfSDavid du Colombier 
413e12c5d1SDavid du Colombier 
423e12c5d1SDavid du Colombier #define	dprint	if (dbg) fprint
433e12c5d1SDavid du Colombier 
443e12c5d1SDavid du Colombier extern	int	dbg;
45*7dd7cddfSDavid du Colombier extern	int	resized;