Re: [Denemo-devel] A new Tooltips scheme

2016-09-23 Thread Richard Shann
On Thu, 2016-09-22 at 23:03 +0200, Andreas Schneider wrote: > What about putting the tooltips in a special area in the main window or > in a separate window that is always there? Then one would not have the > problems with the popups. After trying those possibilities I realized that I could

Re: [Denemo-devel] A new Tooltips scheme

2016-09-22 Thread Andreas Schneider
What about putting the tooltips in a special area in the main window or in a separate window that is always there? Then one would not have the problems with the popups. Andreas ___ Denemo-devel mailing list Denemo-devel@gnu.org

[Denemo-devel] A new Tooltips scheme

2016-09-22 Thread Richard Shann
We have been plagued for some time by changes to Gtk which have made tooltips unusable in some builds. I've implemented a new tooltip system that won't be affected by what Gtk does with its tooltips in future. It works somewhat differently (unfortunately): you need to move the mouse over the item