Subject: bug#53193: 29.0.50; gud bombs

From: Lars Ingebrigtsen <[email-masked]>
Date: Thu, 10 Feb 2022 09:45:45 +0100

Eli Zaretskii <[email-masked]> writes:

>> (setq gud-tooltip-display
>>        '((and gud-overlay-arrow-position
>> 	     (eq (tooltip-event-buffer gud-tooltip-event)
>> 		 (marker-buffer gud-overlay-arrow-position)))))
>
> Could you please show the minimal recipe for reproducing the problem?

More information was requested, but no response was given within a
month, so I'm closing this bug report.  If the problem still exists,
please respond to this email and we'll reopen the bug report.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no