On Tuesday, 15 January 2013 at 16:17:27 UTC, H. S. Teoh wrote:
On Tue, Jan 15, 2013 at 03:07:08PM +0100, monarch_dodra wrote:
On Tuesday, 15 January 2013 at 13:55:53 UTC, Timon Gehr wrote:
>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.
I do not know of any editor that does not support "ctrl +
scroll" to
change the font sizes on the fly.
I'm a vim nazi. :-P
I always change the font size of my editor, depending on how
concentrated I am, my position in my seat, or by how
complicated the
current algorithm is. Or simply if somebody is looking over my
shoulder.
Huh. I'm glad I don't have the latter problem. Well, good ole
ctrl-Z to
return to the shell, or just ctrl-T ctrl-T (I use ratpoison) to
switch
to another window, etc., works for me. But then I don't work in
a
situation where people I don't want looking at my code can
simply walk
by and look over my shoulders. Office security, man! ;-)
ROFL, I meant when a colleague is helping me debug. Things are
easier if I bump up the font size by a couple of points, so they
don't have to bend down to my level or sit next to me just to see
my code.