Next:
node198.html
Up:
Buffers and files
Previous:
current_line_to_top
set_font
void set_font(char * fontname)
Changes the current buffer font to
fontname
.
Lionel Fournigault
Mon Dec 15 10:53:26 MET 1997