[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Fix some tooltip related problems
From: |
Drew Adams |
Subject: |
RE: Fix some tooltip related problems |
Date: |
Thu, 11 Jan 2018 10:09:32 -0800 (PST) |
> > Can we let Lisp code (and so users too)
> > decide, here or there, which kind of tooltip to use
> > (heavyweight "Emacs" or lightweight "system")?
>
> The majority of users (namely those with a GTK build) can. Lucid and
> Motif users can't because these toolkits don't support tooltips. I
> doubt that anyone has the time to set up tooltip controls on Windows.
Dunno what that means.
1. Can users with a GTK build today use Lisp code that decides
which to use in any given (Lisp) context? How is that done
in Lisp?
2. What do you mean by "set up tooltip controls" on Windows?
Today, on Windows you can at least use faces in tooltips.
(Dunno about using images, but I'm guessing that's OK too.)
But perhaps you mean that on Windows there are _only_
"Emacs" tooltips, not "system" tooltips? From my point of
view that's not a problem - flexible beats inflexible. You
say that tooltips on Windows are "heavyweight" and "incur
an entire GC cycle", but I've never noticed any performance
problem with them - on Emacs 20 through 26.
- Re: Fix some tooltip related problems, (continued)
- Re: Fix some tooltip related problems, Robert Pluim, 2018/01/12
- Re: Fix some tooltip related problems, Eli Zaretskii, 2018/01/12
- Re: Fix some tooltip related problems, Robert Pluim, 2018/01/12
- Re: Fix some tooltip related problems, Philipp Stephani, 2018/01/12
- Re: Fix some tooltip related problems, Richard Stallman, 2018/01/11
- Re: Fix some tooltip related problems, Stefan Monnier, 2018/01/11
- Re: Fix some tooltip related problems, Robert Pluim, 2018/01/12
- RE: Fix some tooltip related problems,
Drew Adams <=
- Re: Fix some tooltip related problems, martin rudalics, 2018/01/11
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/11
- Re: Fix some tooltip related problems, martin rudalics, 2018/01/12
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/12
Re: Fix some tooltip related problems, Eli Zaretskii, 2018/01/08
Re: Fix some tooltip related problems, martin rudalics, 2018/01/19