[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Diffs between %s and %s end here
From: |
Stefan Monnier |
Subject: |
Re: Diffs between %s and %s end here |
Date: |
Sun, 09 Mar 2008 23:02:21 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
>> 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 don't think so. When the process terminates, it is nice to have
>> confirmation that it completed normally.
> It's very frustrating that a discussion about creating a single new
> face has got sidetracked into this issue. We have already had this
> discussion. No-one agreed with you. Please read the references Reiner
> supplied.
> Meanwhile, vc-set-mode-line-busy-indicator continue to be totally
> invisible for me.
Please create a mode-line-emphasis face and use it for
vc-set-mode-line-busy-indicator.
Stefan
- Re: Diffs between %s and %s end here, (continued)
- 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 <=
- 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
- Re: vc-set-mode-line-busy-indicator, Richard Stallman, 2008/03/09
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/06