[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: defcustom and the stars.
From: |
Eli Zaretskii |
Subject: |
Re: defcustom and the stars. |
Date: |
Wed, 03 Jan 2007 20:17:02 +0200 |
> Date: Wed, 3 Jan 2007 14:08:52 +0100
> From: "Juanma Barranquero" <address@hidden>
> Cc: Stefan Monnier <address@hidden>, address@hidden
>
> --- lisp/help-fns.el 17 Dec 2006 22:14:11 -0000 1.94
> +++ lisp/help-fns.el 3 Jan 2007 13:06:01 -0000
> @@ -593,5 +593,7 @@
> (format "`%s'.\n" safe-var))))
> (princ "\nDocumentation:\n")
> - (princ (or doc "Not documented as a variable.")))
> + (if doc
> + (princ (replace-regexp-in-string "^\*" "" doc))
> + (princ "Not documented as a variable.")))
> ;; Make a link to customize if this variable can be customized.
> (if (custom-variable-p variable)
If this change is agreed upon, please explain the
replace-regexp-in-string trick in a comment.
- Re: defcustom and the stars., (continued)
- Re: defcustom and the stars., Chris Moore, 2007/01/09
- RE: defcustom and the stars., Drew Adams, 2007/01/09
- Re: defcustom and the stars., Chris Moore, 2007/01/10
- RE: defcustom and the stars., Drew Adams, 2007/01/10
- Re: defcustom and the stars., Chris Moore, 2007/01/10
- RE: defcustom and the stars., Drew Adams, 2007/01/10
- RE: defcustom and the stars., Drew Adams, 2007/01/08
- Re: defcustom and the stars., Michaƫl Cadilhac, 2007/01/05
- RE: defcustom and the stars., Drew Adams, 2007/01/05
- Re: defcustom and the stars., Richard Stallman, 2007/01/04
- Re: defcustom and the stars.,
Eli Zaretskii <=
- 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., Drew Adams, 2007/01/04
- Re: defcustom and the stars., Juanma Barranquero, 2007/01/04
- RE: defcustom and the stars., Drew Adams, 2007/01/04
- Re: defcustom and the stars., Juanma Barranquero, 2007/01/04
- RE: defcustom and the stars., Drew Adams, 2007/01/04
- Re: defcustom and the stars., Juanma Barranquero, 2007/01/04
- RE: defcustom and the stars., Drew Adams, 2007/01/04
- RE: defcustom and the stars., Drew Adams, 2007/01/04