get terminal font size from preferences when loading font#648
Open
mathiasburger wants to merge 1 commit intoliftoff:masterfrom
Open
get terminal font size from preferences when loading font#648mathiasburger wants to merge 1 commit intoliftoff:masterfrom
mathiasburger wants to merge 1 commit intoliftoff:masterfrom
Commits
Commits on Feb 5, 2017
- committed
Mathias Burger