jackpal/Android-Terminal-Emulator — pull request #213 by chirayudesai (2013-02-11 14:32:17+00:00)
Title: Increase default font size

10 is pretty small, even on tablets.

14 is a better default :)