diff options
Diffstat (limited to 'ghc/utils/hp2ps/Dimensions.h')
| -rw-r--r-- | ghc/utils/hp2ps/Dimensions.h | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/ghc/utils/hp2ps/Dimensions.h b/ghc/utils/hp2ps/Dimensions.h new file mode 100644 index 0000000000..1b667125ba --- /dev/null +++ b/ghc/utils/hp2ps/Dimensions.h @@ -0,0 +1,22 @@ +#ifndef DIMENSIONS_H +#define DIMENSIONS_H + +extern floatish borderheight; +extern floatish borderwidth; +extern floatish borderspace; +extern floatish borderthick; + +extern floatish titleheight; +extern floatish titlewidth; +extern floatish titletextspace; + +extern floatish graphx0; +extern floatish graphy0; + +extern floatish graphheight; +extern floatish graphwidth; + +extern void Dimensions PROTO((void)); +extern floatish StringSize PROTO((char *)); + +#endif /* DIMENSIONS_H */ |