diff COPYING @ 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 d92149473c34
children 6aa0743375c1
line wrap: on
line diff