Re: tooltip-use-echo-area disappeared

[Kim F. Storm]

Jason Rumney <address@hidden> writes:

> Meanwhile, tooltip-use-echo-area has been abducted by gud for use as
> an alias, breaking existing code that assumed it was a general user
> option for controlling the display of tooltips.

This seems like a bug to me.

> Shouldn't turning tooltip-mode off disable tooltips completely,
> whether they are displayed in frames or the echo area?

Seems like the right thing to do, yes.

-- 
Kim F. Storm <address@hidden> http://www.cua.dk