Font and Size

[wejgaard]

Change font (type and size) directly in the Console:

Create new font (Tcl):
tcl font create Large -family Courier -size 20

Change font, make it active (Forth):
"-font Large" Console config

--- Together, copy to console ---

tcl font create Large -family Courier -size 20

"-font Large" Console config

--- Changing size ---

tcl font configure Large -size 15