aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof/proof.h
diff options
context:
space:
mode:
authorrsc <devnull@localhost>2005-01-04 21:24:19 +0000
committerrsc <devnull@localhost>2005-01-04 21:24:19 +0000
commit020c80587a21a72ca8f9a503640c4234c289a19a (patch)
treec59a014d358fe04e413aa6963a21e3ec87f33ad7 /src/cmd/proof/proof.h
parent24c02865d8fcc97d1fb5cb9281810d8074aa5eb1 (diff)
downloadplan9port-020c80587a21a72ca8f9a503640c4234c289a19a.tar.gz
plan9port-020c80587a21a72ca8f9a503640c4234c289a19a.tar.bz2
plan9port-020c80587a21a72ca8f9a503640c4234c289a19a.zip
an old saddle
Diffstat (limited to 'src/cmd/proof/proof.h')
-rw-r--r--src/cmd/proof/proof.h48
1 files changed, 48 insertions, 0 deletions
diff --git a/src/cmd/proof/proof.h b/src/cmd/proof/proof.h
new file mode 100644
index 00000000..73f39b8c
--- /dev/null
+++ b/src/cmd/proof/proof.h
@@ -0,0 +1,48 @@
+#include <cursor.h>
+#undef isspace
+#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
+
+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;