7 |
|
|
8 |
Written by James Clark (jjc@jclark.com) |
Written by James Clark (jjc@jclark.com) |
9 |
|
|
10 |
Last update: 12 Apr 2002 |
Last update: 15 Dec 2004 |
11 |
|
|
12 |
This file is part of groff. |
This file is part of groff. |
13 |
|
|
83 |
virtual void end_of_line(); |
virtual void end_of_line(); |
84 |
virtual void special(char *arg, const environment *env, |
virtual void special(char *arg, const environment *env, |
85 |
char type = 'p'); |
char type = 'p'); |
86 |
|
virtual void devtag(char *arg, const environment *env, |
87 |
|
char type = 'p'); |
88 |
|
|
89 |
protected: |
protected: |
90 |
font_pointer_list *font_list; |
font_pointer_list *font_list; |