diff man/gnus-faq.texi @ 66887:a3db1720a101

(gud-menu-map, gud-tool-bar-map): Re-define buttons and include new ones. (gud-tool-bar-item-visible-no-fringe): New function. (gud-menu-map): Use it.
author Nick Roberts <nickrob@snap.net.nz>
date Tue, 15 Nov 2005 12:27:29 +0000
parents c0aa521e0ca7
children 235590a9d340 4da4a09e8b1b
line wrap: on
line diff