Well, as you may remember I asked you about what font type you suggest to use and I played around with them and other fonts.
After playing around with fonts I kept DejaVu Sans Mono/24 pixel. I used topaz/11 before, which is still fine. Using DejaVu at 12 pixel is very bad (font tiny and line spacing huge) and so kind of unreadable while topaz/11 looks twice in height compared directly.
For now I keep /24, but not sure. GCC-5 dumps alot of lines and on 1440x900 topaz simply shows more information, which means less scrolling around.