[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: |
Tue, 11 Mar 2008 01:20:30 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
Richard Stallman <address@hidden> writes:
> Then we could use the same non-intrusive solution already implemented for
> compile: when compilation is successful it displays the successful status
> in the mode line of the compilation buffer in green. When compilation
> fails, it displays the error code in the mode line in red.
>
> Using faces that way seems like a good idea. Still, the arguments
> offered against inserting a "finished" message, like M-x compile
> and M-x diff, seem to make much ado about very little.
As long as there is reasonable agreement that a "very little" change is
an improvement, I don't see anything wrong in following through.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: Diffs between %s and %s end here, (continued)
- 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, 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/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 <=
- 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
- Re: Diffs between %s and %s end here, Richard Stallman, 2008/03/10
- Re: Diffs between %s and %s end here, Glenn Morris, 2008/03/10
- Re: Diffs between %s and %s end here, Richard Stallman, 2008/03/11
- Re: Diffs between %s and %s end here (was: vc-set-mode-line-busy-indicator), Richard Stallman, 2008/03/09
- Re: Diffs between %s and %s end here, Reiner Steib, 2008/03/09
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/08
- Re: vc-set-mode-line-busy-indicator, Richard Stallman, 2008/03/09
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/09