diff man/mule.texi @ 33140:61f4c87b845c

(tooltip-gud-tips-setup): New function. (tooltip-gud-tips-p): Add :set to call tooltip-gud-tips-setup. (tooltip-mode): Call tooltip-gud-tips-setup. (tooltip-gud-tips): Use `gud-basic-call' instead of process-send-string, so the prompt gets frobbed appropriately. Handle nil return value from `tooltip-gud-print-command'.
author Miles Bader <miles@gnu.org>
date Thu, 02 Nov 2000 04:28:01 +0000
parents d65f9772ee72
children 78ec4a7ba765
line wrap: on
line diff