Set the font used for text output.
set_font sets the font for the current output window. The font is used by the procedures write_string, read_string etc. Text windows as well as windows for image display use fonts. A default font is assigned when a window is opened. This font can be changed with set_font. All available fonts can be queried with query_font. The default font can be modified with set_system(::'default_font',Fontname:). Fonts are not used for file operations (e.g. 'standard_input' or 'standard output').
For different machines the available fonts may vary a lot. Therefore it it is suggested to use tables of fonts and/or the procedures query_font und search_font.
Font (input_control) |
string -> string |
name of new font. |
search_font(::20,24:Font) > set_font(::Font:) > write_string(::['Text with Font between 20 and 24 points, Name=',Name]:) > new_line(:::).
set_font returns TRUE, if the font name is correct and a window is activated. Otherwise an exception is raised.
open_window, set_window, open_textwindow, search_font
get_font, query_font, search_font, search_font_list, open_textwindow, open_window