Re: tooltip-use-echo-area disappeared

[Nick Roberts]

 > Let's stick with the simple variable that puts all tooltips
 > in the echo area.

OK.  I've installed a change so that its no longer obsolete.

 > If you want only non-GUD tooltips (and those in the echo area), then
 > set tooltip-use-echo-area to t, and don't enable GUD tooltips.
 > What could be cleaner than that?

I've tried to say but clearly not communicated it.  I think I've done
what people have asked for.  Lets leave it at that.

Nick