[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Default-face grow/shrink commands
From: |
Richard Stallman |
Subject: |
Re: Default-face grow/shrink commands |
Date: |
Tue, 11 May 2004 08:23:27 -0400 |
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.