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