public applyFont(terminalFont as String = "", fontSize as Int = 15) as Void:
Updates the rendered font and recomputes the terminal geometry.
terminal.applyFont("18px JetBrains Mono, monospace", 18)