get terminal font size from preferences when loading font#648
Open
mathiasburger wants to merge 1 commit into
Open
get terminal font size from preferences when loading font#648mathiasburger wants to merge 1 commit into
mathiasburger wants to merge 1 commit into