[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFA] Console based mouse face highlighting.
From: |
Eli Zaretskii |
Subject: |
Re: [RFA] Console based mouse face highlighting. |
Date: |
Sun, 20 May 2007 21:54:59 +0300 |
> From: Nick Roberts <address@hidden>
> Date: Sun, 20 May 2007 18:00:30 +1200
> Cc: address@hidden
>
> OK I've committed these changes to the trunk.
Thanks.
> To see any difference you need:
>
> 1) To be in the console on GNU/Linux
> 2) To have gpm running
> 3) To have configured Emacs with both libgpm and gpm.h present and accessible.
> (Contrary to what I said earlier, on Ubuntu these are in the packages
> libgpm1 and libgpm1-dev.)
>
> The when the mouse is over text with the mouse-face property, e.g, a file in
> dired, the text should appear with a green background, and the help text
> should appear in the minibuffer.
I think etc/NEWS should reflect this new feature.
- Re: [RFA] Console based mouse face highlighting., (continued)
- Re: [RFA] Console based mouse face highlighting., Nick Roberts, 2007/05/18
- Re: [RFA] Console based mouse face highlighting., Eli Zaretskii, 2007/05/19
- Re: [RFA] Console based mouse face highlighting., Nick Roberts, 2007/05/19
- Re: [RFA] Console based mouse face highlighting., Eli Zaretskii, 2007/05/19
- Re: [RFA] Console based mouse face highlighting., Nick Roberts, 2007/05/20
- Re: [RFA] Console based mouse face highlighting., Johan Bockgård, 2007/05/20
- Re: [RFA] Console based mouse face highlighting., Nick Roberts, 2007/05/20
- Re: [RFA] Console based mouse face highlighting., Johan Bockgård, 2007/05/22
- Re: [RFA] Console based mouse face highlighting., Nick Roberts, 2007/05/22
- Re: [RFA] Console based mouse face highlighting., Nick Roberts, 2007/05/30
- Re: [RFA] Console based mouse face highlighting.,
Eli Zaretskii <=
- Renaming NEWS [was: [RFA] Console based mouse face highlighting.], Glenn Morris, 2007/05/20
- Re: Renaming NEWS [was: [RFA] Console based mouse face highlighting.], Nick Roberts, 2007/05/20
- Re: Renaming NEWS, Miles Bader, 2007/05/20
- Re: Renaming NEWS, Glenn Morris, 2007/05/21
- Re: Renaming NEWS, David Kastrup, 2007/05/21
- Re: Renaming NEWS, Glenn Morris, 2007/05/22
- Re: Renaming NEWS, Miles Bader, 2007/05/22
- Re: Renaming NEWS, Glenn Morris, 2007/05/22
- Re: Renaming NEWS, Richard Stallman, 2007/05/22
- Re: Renaming NEWS, Glenn Morris, 2007/05/22