Skip to content

get terminal font size from preferences when loading font#648

Open
mathiasburger wants to merge 1 commit intoliftoff:masterfrom mathiasburger:feature/terminalFontSize

Commits

Commits on Feb 5, 2017