[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: autorevert doesn't change mode-line-modified anymore
From: |
Klaus Zeitler |
Subject: |
Re: autorevert doesn't change mode-line-modified anymore |
Date: |
Thu, 21 Oct 2004 10:00:49 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/21.3.50 (usg-unix-v) |
>>>>> "Richard" == Richard Stallman <address@hidden> writes:
Richard>
Richard> I don't want to add an option for every behavior that some user
Richard> does not like. Most such options would not be useful enough to
I didn't mean to say that I don't like it. I do see its merits. Ideally in a
world where users do all of their work in emacs, it is certainly better than
the old behavior. I just gave an example where the old auto-revert did exactly
what the users wanted to have. I think other users may eventually run into a
similar problem, i.e. the have to use some (GUI) tool, that they can't invoke
from inside of emacs and that interacts with files they have loaded in emacs.
Thus I think Luc's patch would just be perfect and it is a small and simple
change.
Klaus
--
------------------------------------------
| Klaus Zeitler Lucent Technologies |
| Email: address@hidden |
------------------------------------------
---
O'Toole's Commentary on Murphy's Law: Murphy was an optimist.
- autorevert doesn't change mode-line-modified anymore, Klaus Zeitler, 2004/10/18
- Re: autorevert doesn't change mode-line-modified anymore, Luc Teirlinck, 2004/10/18
- Re: autorevert doesn't change mode-line-modified anymore, Luc Teirlinck, 2004/10/18
- Re: autorevert doesn't change mode-line-modified anymore, Luc Teirlinck, 2004/10/18
- Re: autorevert doesn't change mode-line-modified anymore, Richard Stallman, 2004/10/19
- Re: autorevert doesn't change mode-line-modified anymore, Luc Teirlinck, 2004/10/19
- Re: autorevert doesn't change mode-line-modified anymore, Richard Stallman, 2004/10/20
- Re: autorevert doesn't change mode-line-modified anymore, Klaus Zeitler, 2004/10/21
- Re: autorevert doesn't change mode-line-modified anymore, Kim F. Storm, 2004/10/21
- Re: autorevert doesn't change mode-line-modified anymore, Richard Stallman, 2004/10/22