diff lib-src/pop.c @ 67486:3d94a55776e3

(gud-tooltip-modes, gud-tooltip-display): Add the gud groupname. (gud-tooltip-mode): Add the tooltip groupname. Move in front of other defcustoms with that groupname. (gud-tooltip-echo-area): Add the gud groupname. Remove tag to avoid conflict with tooltip-use-echo-area.
author Nick Roberts <nickrob@snap.net.nz>
date Sat, 10 Dec 2005 21:32:22 +0000
parents 6358e3c6075c
children 3661e9b3c48f 2d92f5c9d6ae
line wrap: on
line diff