Searched refs:SaveToFile (Results 1 – 2 of 2) sorted by relevance
119 static void SaveToFile (Widget, FILE *);170 SaveToFile, /* save */568 void SaveToFile(Widget w, FILE *fp) in SaveToFile() function
472 * Dvi.c (DviSaveToFile, SaveToFile): New functions.