Community
Participate
Working Groups
Currently there is no way to print from the C editor using a different font than that displayed. It is really annoying to have to change the font just for printing.
*** This bug has been marked as a duplicate of bug 14955 ***