[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: tooltip custom group: duplicate labels

From: Richard M. Stallman
Subject: Re: tooltip custom group: duplicate labels
Date: Sun, 11 Dec 2005 00:03:37 -0500

    The tag "Use echo area" is used twice in the same customization buffer.

    Its first occurrence comes from emacs/lisp/tooltip.el:

    (defcustom tooltip-use-echo-area nil
      "Use the echo area instead of tooltip frames for help and GUD tooltips."
      :type 'boolean
      :tag "Use Echo Area"
      :group 'tooltip)

    and the second occurrence comes from emacs/lisp/progmodes/gud.el:

I think we should delete them both.  It seems that there are
lots of :tag values in defcustoms that really should not be there.

    I propose to remove :tag from all GUD tooltip options to reveal their
    true identities to the users of Customize.

Let's remove them from both GUD and tooltip.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]