[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFA] Console based mouse face highlighting.
From: |
Nick Roberts |
Subject: |
Re: [RFA] Console based mouse face highlighting. |
Date: |
Sat, 19 May 2007 09:09:14 +1200 |
> > I think each approach has pros and cons; it's just a matter of choosing
> > one.
>
> I prefer the separate function approach.
OK, I'l submit a patch using this one and a ChangeLog if conditions become more
favourable again. After 22.1 I would prefer to have a team of maintainers with
a more formal approval and release process. The current arrangement isn't
working for me, and I see no point in contributing any more if it coninues.
--
Nick http://www.inet.net.nz/~nickrob
- Re: [RFA] Console based mouse face highlighting., (continued)
- Re: [RFA] Console based mouse face highlighting., Eli Zaretskii, 2007/05/16
- Re: [RFA] Console based mouse face highlighting., Nick Roberts, 2007/05/16
- Re: [RFA] Console based mouse face highlighting., Eli Zaretskii, 2007/05/16
- Re: [RFA] Console based mouse face highlighting., Nick Roberts, 2007/05/17
- Re: [RFA] Console based mouse face highlighting., Stefan Monnier, 2007/05/17
- Re: [RFA] Console based mouse face highlighting., Eli Zaretskii, 2007/05/17
- Re: [RFA] Console based mouse face highlighting., Nick Roberts, 2007/05/17
- Re: [RFA] Console based mouse face highlighting., Eli Zaretskii, 2007/05/17
- Re: [RFA] Console based mouse face highlighting., Nick Roberts, 2007/05/17
- Re: [RFA] Console based mouse face highlighting., Eli Zaretskii, 2007/05/18
- Re: [RFA] Console based mouse face highlighting.,
Nick Roberts <=
- 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, 2007/05/20