devices/grodvi/dvi.cpp

185 class draw_dvi_printer : public dvi_printer {
190   draw_dvi_printer();
191   ~draw_dvi_printer();
220 draw_dvi_printer::draw_dvi_printer()
225 draw_dvi_printer::~draw_dvi_printer()
538 void draw_dvi_printer::end_page(int len)
674 void draw_dvi_printer::set_line_thickness(const environment *env)
689 void draw_dvi_printer::fill_next(const environment *env)
703 void draw_dvi_printer::draw(int code, int *p, int np, const environment *env)
901     return new draw_dvi_printer;