102 class tty_font : public font {  class
103   tty_font(const char *);
106   ~tty_font();
111   static tty_font *load_tty_font(const char *);
114 tty_font *tty_font::load_tty_font(const char *s)  in load_tty_font()
116   tty_font *f = new tty_font(s);  in load_tty_font()
135 tty_font::tty_font(const char *nm)  in tty_font()  function in tty_font
140 tty_font::~tty_font()  in ~tty_font()
145 void tty_font::handle_x_command(int argc, const char **argv)
371 	   ((tty_font *)f)->get_mode());  in set_char()
787   return tty_font::load_tty_font(nm);  in make_font()