Hi

Is it possible to change the default font size in the shells and text editors?
Not everyone has superior vision Seriously some of those fonts are way too
small, at least for me.


thanks