Re: Default-face grow/shrink commands

[Richard Stallman]

    One very handy feature of many modern GUI programs (at least, gnome apps
    and mozilla :-) is that they have commands to grow and shrink the base
    font-size, usually bound to the nicely mnemonic C-+ and C-- (mozilla and
    some other programs also bind C-= to the same thing as C-+, so you don't
    have to use the shift key; gnome unfortunately assigns a _different_
    meaning to C-=).

Adding these is a good thing, and it is self-contained so there's no
harm adding it now--assuming the problems you've mentioned can be
solved.