Lines Matching defs:dvi_name
239 InstallFont(DviWidget dw, int position, const char *dvi_name,
248 if (!strcmp(f->dvi_name, dvi_name) && !strcmp(f->x_name, x_name))
252 if (f->dvi_name)
253 XtFree(f->dvi_name);
263 f->dvi_name = savestr(dvi_name);
286 MapDviNameToXName(DviWidget dw, const char *dvi_name)
291 if (!strcmp(fm->dvi_name, dvi_name))
293 ++dvi_name;
295 if (!strcmp(fm->dvi_name, "R"))
313 char dvi_name[1024];
319 strncpy(dvi_name, s, m - s);
320 dvi_name[m - s] = '\0';
331 new->dvi_name = savestr(dvi_name);
348 if (font_map->dvi_name)
349 XtFree(font_map->dvi_name);
355 SetFontPosition(DviWidget dw, int position, const char *dvi_name,
360 x_name = MapDviNameToXName(dw, dvi_name);
361 (void) InstallFont(dw, position, dvi_name, x_name);