[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: |
Sat, 19 May 2007 10:25:05 +0300 |
> From: Nick Roberts <address@hidden>
> Date: Sat, 19 May 2007 09:09:14 +1200
> Cc: address@hidden
>
> > > 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.
Sorry, I don't understand what caused this angry response. Did I say
something impolite? if so, I apologize.
For the record: I have no formal approval powers; anyone with write
access to CVS can install _anything_ they want without asking me, or
even against my objections. You asked for my advice, so I gave it to
you, but if you disagree with what I say, _I_ cannot prevent you from
committing your changes anyway.
- Re: [RFA] Console based mouse face highlighting., (continued)
- 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, 2007/05/18
- Re: [RFA] Console based mouse face highlighting.,
Eli Zaretskii <=
- 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
- Renaming NEWS [was: [RFA] Console based mouse face highlighting.], Glenn Morris, 2007/05/20