comparison src/w32select.c @ 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 04686828d0da
children a8fa7c632ee4 7e3f621f1dd4
comparison
equal deleted inserted replaced
62394:ba0495c4ff91 62395:b4775e4a25b8