[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 11:10:56 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
Dan Nicolaescu <address@hidden> writes:
> David Kastrup <address@hidden> writes:
>
> > 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.
>
> It has never been there, adding it (like adding anything else to emacs)
> should require a very strong argument, given there are so many counter
> arguments.
Huh?
-*- mode: compilation; default-directory: "/home/tmp/akt/" -*-
Compilation started at Sun Mar 9 11:09:45
echo
Compilation finished at Sun Mar 9 11:09:46
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Diffs between %s and %s end here (was: vc-set-mode-line-busy-indicator), (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, 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 <=
- 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
- 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