Change font and theme
It will looks better,if could change font
And I want solarized theme
What is the current default font? It's fantastic
I usually use nanum-coding-font for terminal works. Because it is useful to see unbroken font terminal. Thank you for your effort.
1. The tools show the option of changing the size of the font and the background color but I am unable to do so.
2. It's a bit silly but I would like non-proportional (fixed) spacing.