[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: defcustom and the stars.
From: |
Michaël Cadilhac |
Subject: |
Re: defcustom and the stars. |
Date: |
Wed, 03 Jan 2007 14:18:30 +0100 |
User-agent: |
Gnus/5.110006 (No Gnus v0.6) Emacs/22.0.92 (gnu/linux) |
"Juanma Barranquero" <address@hidden> writes:
> On 1/3/07, Michaël Cadilhac <address@hidden> wrote:
>
>> So let's consider hiding this star in C-h v, like I proposed earlier,
>> nop ?
>
> That's easy enough, see the attached patch
« Same goals, different tactics :-) ». I used substring :-)
> (but I have no opinion on whether that's desirable right now or
> not).
And what about an opinion on the rest of the patch I proposed in
Message-ID: <address@hidden> ?
I'm a little confused about that difference between what is a user
variable in the doc and what it is regarding user-variable-p. Maybe
a doc change is also necessary.
--
| Michaël `Micha' Cadilhac | Mieux vaut se taire |
| Epita/LRDE Promo 2007 | Que de parler trop fort. |
| http://michael.cadilhac.name | -- As de trèfle |
`--JID: address@hidden' - --'
pgph79nl67VIz.pgp
Description: PGP signature
- defcustom and the stars., Michaël Cadilhac, 2007/01/02
- Re: defcustom and the stars., Stefan Monnier, 2007/01/02
- Re: defcustom and the stars., Michaël Cadilhac, 2007/01/03
- Re: defcustom and the stars., Juanma Barranquero, 2007/01/03
- Re: defcustom and the stars., Michaël Cadilhac, 2007/01/03
- Re: defcustom and the stars., Juanma Barranquero, 2007/01/03
- Re: defcustom and the stars.,
Michaël Cadilhac <=
- Re: defcustom and the stars., Juanma Barranquero, 2007/01/03
- Re: defcustom and the stars., Michaël Cadilhac, 2007/01/03
- Re: defcustom and the stars., Juanma Barranquero, 2007/01/03
- Re: defcustom and the stars., Michaël Cadilhac, 2007/01/03
- Re: defcustom and the stars., Juanma Barranquero, 2007/01/03
- Re: defcustom and the stars., Juanma Barranquero, 2007/01/03
- Re: defcustom and the stars., Michaël Cadilhac, 2007/01/03
- Re: defcustom and the stars., Juanma Barranquero, 2007/01/03
- Re: defcustom and the stars., Richard Stallman, 2007/01/03
- Re: defcustom and the stars., Richard Stallman, 2007/01/03