[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: vc-set-mode-line-busy-indicator
From: |
Richard Stallman |
Subject: |
Re: vc-set-mode-line-busy-indicator |
Date: |
Tue, 04 Mar 2008 12:37:32 -0500 |
> 2. If we need both, the name of the one for buttons should be
> `mode-line-button' and the one for emphasis should be
> `mode-line-highlight'.
This would be an incompatible change to the use of the existing
mode-line-highlight face.
Yes, but it is better to have a small incompatible change in a minor
feature than have it remain badly named.
- Re: Diffs between %s and %s end here (was: vc-set-mode-line-busy-indicator), (continued)
- 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
- Re: vc-set-mode-line-busy-indicator, Glenn Morris, 2008/03/02
- Re: vc-set-mode-line-busy-indicator, Richard Stallman, 2008/03/03
- Re: vc-set-mode-line-busy-indicator, Glenn Morris, 2008/03/03
- Re: vc-set-mode-line-busy-indicator,
Richard Stallman <=
- Re: vc-set-mode-line-busy-indicator, Juri Linkov, 2008/03/03
- Re: vc-set-mode-line-busy-indicator, Richard Stallman, 2008/03/04
- Re: vc-set-mode-line-busy-indicator, Juri Linkov, 2008/03/04
- Re: vc-set-mode-line-busy-indicator, Stefan Monnier, 2008/03/04
- Re: vc-set-mode-line-busy-indicator, Richard Stallman, 2008/03/05
Re: vc-set-mode-line-busy-indicator, Stefan Monnier, 2008/03/02