[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bad UI defaults
|
From: |
Richard Stallman |
|
Subject: |
Re: bad UI defaults |
|
Date: |
Fri, 18 Apr 2003 07:29:06 -0400 |
I dont have much opinion on this issue, except that I agree
that it should be made easier for a user to change the mode-line.
I would be glad to see a custom facility for customizing
mode-line-format conveniently. All that it takes is defining
a special custom-type that is convenient to use.
Re: bad UI defaults, Dave Love, 2003/04/23
Re: bad UI defaults, Richard Stallman, 2003/04/18