#include <X11/copyright.h>

#ifndef _DviPage_h
#define _DviPage_h

/****************************************************************
*
* DviPage widget
*
****************************************************************/

/* Resources:

Name		     Class		RepType		Default Value
----		     -----		-------		-------------
background	     Background		Pixel		XtDefaultBackground
border		     BorderColor	Pixel		XtDefaultForeground
borderWidth	     BorderWidth	Dimension	1
destroyCallback     Callback		Pointer		NULL
height		     Height		Dimension	0
mappedWhenManaged   MappedWhenManaged	Boolean		True
sensitive	     Sensitive		Boolean		True
width		     Width		Dimension	0
x		     Position		Position	0
y		     Position		Position	0

*/

#include <X11/Xmu.h>

/* define any special resource names here that are not in <X11/StringDefs.h> */

#define XtNbackingStore		"backingStore"
		/* when server should use backing store */

#define XtNpage		"page"
#define XtNpai		"pai"
#define XtNuserMag	"userMag"
#define XtNdpi		"dpi"
#define XtNdviFonts	"dviFonts"
#define XtNxFonts	"xFonts"
#define XtNpaperWidth	"paperWidth"
#define XtNpaperHeight	"paperHeight"

#define XtCBackingStore	"BackingStore"
#define XtCPage		"Page"
#define XtCPai		"Pai"
#define XtCUserMag	"UserMag"
#define XtCDpi		"Dpi"
#define XtCDviFonts	"DviFonts"
#define XtCXFonts	"XFonts"
#define XtCPaperWidth	"PaperWidth"
#define XtCPaperHeight	"PaperHeight"

/* declare specific DviPageWidget class and instance datatypes */

typedef struct _DviPageClassRec*	DviPageWidgetClass;
typedef struct _DviPageRec*		DviPageWidget;

/* declare the class constant */

extern WidgetClass dviPageWidgetClass;

#endif  _DviPage_h