diff src/keyboard.h @ 62395:b4775e4a25b8

(gud-tooltip-mode): Add gud prefix to tooltip-change-major-mode. (gud-tooltip-print-command): Remove case where gud-minor-mode is gdb ("--fullname"). (gud-tooltip-tips): Turn GUD tooltips off for this case and explain to user.
author Nick Roberts <nickrob@snap.net.nz>
date Mon, 16 May 2005 06:42:37 +0000
parents fbbae2d9a2f4
children a8fa7c632ee4 7a0245dd1848 cb7f41387eb3
line wrap: on
line diff