On Tuesday, 15 January 2013 at 14:07:11 UTC, 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.
FWIW, Emacs doesn't out of the box. But this makes it work:
(global-set-key [M-mouse-4] 'text-scale-increase)
(global-set-key [M-mouse-5] 'text-scale-decrease)
(M- for Alt, or C- for Control.)
Graham
