Displaying 1 result from an estimated 1 matches for "new_font_index".
2000 Feb 08
1
DEC cc doesn't like c++ comments (PR#416)
...)
- // esc[1] = '2';
- // else if (esc[1] == 'B')
- // esc[1] = '3';
-
- // if (esc[1] == 'P') /* \fP seen, so go back to previous font */
- // raw_fontnum = previous_raw_fontnum;
- // else /* font specified as index into typeface */
- // {
- // int new_font_index = esc[1] - '0';
+ if (esc[1] == 'R')
+ esc[1] = '1';
+ else if (esc[1] == 'I')
+ esc[1] = '2';
+ else if (esc[1] == 'B')
+ esc[1] = '3';
+
+ if (esc[1] == 'P') /* \fP seen, so go back to previous font */
+ raw_f...