Re: Exceptional coding style

[Timon Gehr]

On 01/15/2013 11:57 AM, mist wrote:

Well, probably I am playing "good vision nazi" here, as 12 font size
seems HUGE to me, far beyond the comfort zone.

It's just preference. I do not have any problems with font size 9.