Searched refs:device_font_number (Results 1 – 5 of 5) sorted by relevance
251 || dw->dvi.state->font_number != dw->dvi.device_font_number) { in FindCharWidth()252 dw->dvi.device_font_number = dw->dvi.state->font_number; in FindCharWidth()254 = QueryDeviceFont (dw, dw->dvi.device_font_number); in FindCharWidth()354 || dw->dvi.state->font_number != dw->dvi.device_font_number) { in PutNumberedCharacter()355 dw->dvi.device_font_number = dw->dvi.state->font_number; in PutNumberedCharacter()357 = QueryDeviceFont (dw, dw->dvi.device_font_number); in PutNumberedCharacter()
249 dw->dvi.device_font_number = -1; in InstallFont()279 dw->dvi.device_font_number = -1; in ForgetFonts()
154 int device_font_number; member
232 dw->dvi.device_font_number = -1; in Initialize()
504 text_device_width, word_flag, device_font, device_font_number,