Searched refs:MapDviNameToXName (Results 1 – 1 of 1) sorted by relevance
285 MapDviNameToXName (DviWidget dw, const char *dvi_name) in MapDviNameToXName() function366 x_name = MapDviNameToXName (dw, dvi_name); in SetFontPosition()