diff src/blockinput.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 335c6a2f0c12
children a8fa7c632ee4 29e773288013
line wrap: on
line diff