Ubuntu

Comment 3 for bug 752886

Simon Steinbeiß (ochosi) wrote :

I'd personally go for the 10pt font in the terminal as well. If it can be read anywhere else, why should it suddenly be unreadable in the terminal?

also: consistency yay.