[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: tooltip-use-echo-area disappeared
From: |
jasonr |
Subject: |
RE: tooltip-use-echo-area disappeared |
Date: |
Thu, 2 Jun 2005 13:24:50 +0100 |
User-agent: |
Internet Messaging Program (IMP) 3.2.3 |
It appears to have been moved from tooltip.el where it was preloaded, to gud.el,
so if gud is not loaded it has as good as disappeared.
I don't understand this decision. Why is this now considered a gud specific
feature? It was formerly a user option to have messages appear in the echo area
rather than as a tooltip. What is gud specific about that?
I haven't tracked down which code is using it, but I suspect it is somewhere
inside semantic or jdee, run from a timer. The biggest problem for me is that
Emacs is jumping to the top of the z-order whenever the message comes up.
Quoting Nick Roberts <address@hidden>:
> > The following change seems to have removed the important variable
> > tooltip-use-echo-area, with no apparent replacement.
> > Besides breaking lisp code that was written for 21.1, I don't recall any
> > discussion about why this feature should be deprecated.
> >
> >
> >
> > 2005-04-20 Nick Roberts <address@hidden>
> >
> > * tooltip.el (tooltip-use-echo-area): Replace as alias and deprecate.
> >
>
> It *was* discussed at great length on emacs-devel. It has *not* been removed
> but has an alias: gud-tooltip-echo-area. Normal tooltips and GUD tooltips
> have
> been split, the code for the latter now resides in gud.el. The new behaviour
> is documented in the Emacs Manual. It is also described in NEWS.
>
> Why is tooltip-use-echo-area so important?
>
> What code does it break?
>
>
> Nick
>
- tooltip-use-echo-area disappeared, Jason Rumney, 2005/06/02
- RE: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/02
- RE: tooltip-use-echo-area disappeared,
jasonr <=
- RE: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/02
- Re: tooltip-use-echo-area disappeared, Jason Rumney, 2005/06/13
- Re: tooltip-use-echo-area disappeared, Kim F. Storm, 2005/06/13
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/13
- Re: tooltip-use-echo-area disappeared, Jason Rumney, 2005/06/13
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/13
- Re: tooltip-use-echo-area disappeared, Eli Zaretskii, 2005/06/13
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/14
- Re: tooltip-use-echo-area disappeared, Eli Zaretskii, 2005/06/14
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/14