Home Explore Help
Register Sign In
RISCI_ATOM
/
harvey
mirror of https://github.com/Harvey-OS/harvey.git
1
0
Fork 0
Files Issues 0 Wiki
Tree: 2cd808b559
Branches Tags
harvey
/
sys
/
src
/
cmd
/
proof
/
proof.h

proof.h 919 B
History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445 
  1. #define	NPAGES	500
    2. 

  2. #define NFONT	33
    3. 

  3. #define NSIZE	40
    4. 

  4. #define MINSIZE 4
    5. 

  5. #define	DEFMAG	(10.0/11.0)	/* was (10.0/11.0), then 1 */
    6. 

  6. #define MAXVIEW 40
    7. 

  7. 

  8. #define	ONES	~0
    9. 

  9. 

  10. extern	char	devname[];
    11. 

  11. extern	double	mag;
    12. 

  12. extern	int	nview;
    13. 

  13. extern	int	hpos, vpos, curfont, cursize;
    14. 

  14. extern	int	DIV, res;
    15. 

  15. extern	int	Mode;
    16. 

  16. 

  17. extern	Point	offset;		/* for small pages within big page */
    18. 

  18. extern	Point	xyoffset;	/* for explicit x,y move */
    19. 

  19. extern	Cursor	deadmouse;
    20. 

  20. 

  21. extern	char	libfont[];
    22. 

  22. 

  23. void	mapscreen(void);
    24. 

  24. void	clearscreen(void);
    25. 

  25. char	*getcmdstr(void);
    26. 

  26. 

  27. void	readmapfile(char *);
    28. 

  28. void	dochar(Rune*);
    29. 

  29. void	bufput(void);
    30. 

  30. void	loadfontname(int, char *);
    31. 

  31. void	allfree(void);
    32. 

  32. void	readpage(void);
    33. 

  33. int	isspace(int);
    34. 

  34. extern	int	getc(void);
    35. 

  35. extern	int	getrune(void);
    36. 

  36. extern	void	ungetc(void);
    37. 

  37. extern	ulong	offsetc(void);
    38. 

  38. extern	ulong	seekc(ulong);
    39. 

  39. extern	char*	rdlinec(void);
    40. 

  40. 

  41. 

  42. #define	dprint	if (dbg) fprint
    43. 

  43. 

  44. extern	int	dbg;
    45. 

  45. extern	int	resized;
    46.