[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Diffs between %s and %s end here
From: |
David Kastrup |
Subject: |
Re: Diffs between %s and %s end here |
Date: |
Sun, 09 Mar 2008 00:58:36 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
Glenn Morris <address@hidden> writes:
> Juri Linkov wrote:
>
>> Since it seems the discussion currently reached consensus that
>> additional text is necessary only for visual indication, I have
>> a question: isn't visual indication for the current status
>> in the mode line is sufficient with the new face `mode-line-emphasis'?
>
> I (have always) agree(d) with this, but I'm not sure if rms does.
For me, the bottom of the compilation output seems like a natural place
to look for that kind of info.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: vc-set-mode-line-busy-indicator, (continued)
- Re: vc-set-mode-line-busy-indicator, Jan Djärv, 2008/03/08
- Re: vc-set-mode-line-busy-indicator, Richard Stallman, 2008/03/08
- Diffs between %s and %s end here (was: vc-set-mode-line-busy-indicator), Reiner Steib, 2008/03/08
- Re: Diffs between %s and %s end here, David Kastrup, 2008/03/08
- Re: Diffs between %s and %s end here, Dan Nicolaescu, 2008/03/08
- Re: Diffs between %s and %s end here, David Kastrup, 2008/03/08
- Re: Diffs between %s and %s end here, Juri Linkov, 2008/03/08
- Re: Diffs between %s and %s end here, Glenn Morris, 2008/03/08
- Re: Diffs between %s and %s end here, Juri Linkov, 2008/03/08
- Re: Diffs between %s and %s end here, Glenn Morris, 2008/03/08
- Re: Diffs between %s and %s end here,
David Kastrup <=
- Re: Diffs between %s and %s end here, Dan Nicolaescu, 2008/03/08
- Re: Diffs between %s and %s end here, David Kastrup, 2008/03/09
- Re: Diffs between %s and %s end here, Dan Nicolaescu, 2008/03/09
- Re: Diffs between %s and %s end here, Richard Stallman, 2008/03/09
- Re: Diffs between %s and %s end here, Richard Stallman, 2008/03/09
- Re: Diffs between %s and %s end here, Juri Linkov, 2008/03/09
- Re: Diffs between %s and %s end here, Richard Stallman, 2008/03/10
- Re: Diffs between %s and %s end here, David Kastrup, 2008/03/10
- Re: Diffs between %s and %s end here, Glenn Morris, 2008/03/09
- Re: Diffs between %s and %s end here, Stefan Monnier, 2008/03/09