[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: |
Sun, 02 Mar 2008 12:25:55 -0500 |
I suggest a new `mode-line-emphasis' face. The existing
`mode-line-highlight' doesn't look right because it is designed for
buttons. I made up some defaults; I'm not sure about them.
Does this proposal mean having two different faces for two different
kinds of highlighting in the mode line?
What sort of VC commands are asynchronous, other than vc-diff which
shouldn't be a problem?
- Re: vc-set-mode-line-busy-indicator, Glenn Morris, 2008/03/01
- Re: vc-set-mode-line-busy-indicator, Nick Roberts, 2008/03/01
- Re: vc-set-mode-line-busy-indicator, Glenn Morris, 2008/03/01
- Re: vc-set-mode-line-busy-indicator, Juri Linkov, 2008/03/02
- Re: vc-set-mode-line-busy-indicator, Glenn Morris, 2008/03/02
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/03
- Re: vc-set-mode-line-busy-indicator, Nick Roberts, 2008/03/03
- Re: vc-set-mode-line-busy-indicator, Juri Linkov, 2008/03/03
- Re: vc-set-mode-line-busy-indicator,
Richard Stallman <=
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/02
- Re: vc-set-mode-line-busy-indicator, Richard Stallman, 2008/03/03
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/03
- Re: vc-set-mode-line-busy-indicator, Richard Stallman, 2008/03/04
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/04
- Re: vc-set-mode-line-busy-indicator, Richard Stallman, 2008/03/05
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/05
- Re: vc-set-mode-line-busy-indicator, Richard Stallman, 2008/03/06
- Re: vc-set-mode-line-busy-indicator, Miles Bader, 2008/03/06
- Re: vc-set-mode-line-busy-indicator, Dan Nicolaescu, 2008/03/07