#ifndef _XtDvi_h
#define _XtDvi_h
#define XtNfontMap (String)"fontMap"
#define XtNpageNumber (String)"pageNumber"
#define XtNlastPageNumber (String)"lastPageNumber"
#define XtNnoPolyText (String)"noPolyText"
#define XtNseek (String)"seek"
#define XtNresolution (String)"resolution"
#define XtCFontMap (String)"FontMap"
#define XtCPageNumber (String)"PageNumber"
#define XtCLastPageNumber (String)"LastPageNumber"
#define XtCNoPolyText (String)"NoPolyText"
#define XtCSeek (String)"Seek"
#define XtCResolution (String)"Resolution"
typedef struct _DviRec *DviWidget;
typedef struct _DviClassRec *DviWidgetClass;
extern WidgetClass dviWidgetClass;
void DviSaveToFile(Widget, FILE *);
#endif