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