[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: |
Sat, 08 Mar 2008 20:40:46 +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:
>
> > Maybe we should put informational messages like that as an
> > (evaporating) afterstring overlay on the final LF character? That
> > way they would not be copied anywhere.
>
> That sounds good, as long as M-w and insert-buffer don't copy that
> string.
Huh? Overlays are not a part of the buffer text.
> But the main question remains: is it worth doing it? We already have
> the mode-line notification, does adding another type provide a
> significant benefit for the user?
Its relevance is after the compilation text, so it is a natural place to
look for it.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: vc-set-mode-line-busy-indicator, (continued)
- Re: vc-set-mode-line-busy-indicator, Miles Bader, 2008/03/06
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/07
- Re: vc-set-mode-line-busy-indicator, Jan Djärv, 2008/03/07
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/07
- Re: vc-set-mode-line-busy-indicator, Stefan Monnier, 2008/03/07
- 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 <=
- 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, 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