Exceptional coding style

[Graham Fawcett]

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