src/devices/xditview/font.h

   1 void DestroyFontMap(DviFontMap *);
   2 void ForgetFonts (DviWidget dw);
   3 int MaxFontPosition (DviWidget dw);
   4 void ParseFontMap (DviWidget dw);
   5 void SetFontPosition (DviWidget dw, int position, const char *dvi_name,
   6                       const char *extra);