set_font — Setzen eines Fonts.
set_font( : : WindowHandle, Font : )
set_font setzt den Font Font für das
Ausgabefenster WindowHandle. Alle nachfolgenden Textausgaben in
diesem Fenster (z.B. mit den Operatoren disp_text,
write_string oder read_string) verwenden nun den neuen Font
anstelle des Default-Fonts (siehe set_system('default_font',Font)).
Alle verfügbaren Fonts können mit Hilfe des Operators query_font
abgefragt werden.
Die Syntax für die Angabe eines Fonts Font ist folgende:
FONTNAME[-STYLE]-FONT_SIZE.
Der optionale STYLE kann unter anderem einen der folgenden Werte annehmen:
Normal,
Bold,
BoldItalic oder
Italic.
Die Fontgröße FONT_SIZE wird in Pixel bemessen.
Ein Beispiel für einen gültigen String für Font ist
'Courier-Bold-14'.
Die verfügbaren Fonts unterscheiden sich stark bei verschiedenen
Rechnern. Es empfiehlt sich daher mit query_font oder der Prozedur
set_display_font zu arbeiten.
WindowHandle (input_control) window → (handle)
Fenster-Handle.
Font (input_control) string → (string)
Name des Fonts, der gesetzt wird.
dev_get_window (WindowHandle)
query_font (WindowHandle, Font)
* Specify font name and size
FontWithSize := Font[0]+'-20'
set_font (WindowHandle, FontWithSize)
dev_disp_text ('Font set to: '+FontWithSize, 'window', 20, 12, 'black', [], [])
* Specify font name, style, and size
FontWithStyleAndSize := Font[0]+'-Bold-20'
set_font (WindowHandle, FontWithStyleAndSize)
dev_disp_text ('Font set to: '+FontWithStyleAndSize, 'window', 50, 12, 'black', [], [])
set_font liefert den Wert TRUE, falls der Font-Name aufgelöst werden
kann. Ansonsten wird eine Fehlerbehandlung durchgeführt.
get_font,
query_font,
open_window
Foundation