Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-28 Thread Richard Shann
On Sat, 2015-11-28 at 12:00 +, gtk-app-devel-list-requ...@gnome.org wrote: > Date: Fri, 27 Nov 2015 20:42:25 +0100 (CET) > From: Lucas Levrel > To: gtk-app-devel-list@gnome.org > Subject: Re: [Denemo-devel] Tooltips - what am I doing wrong? > Message-ID: > Content-Type: T

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-27 Thread Lucas Levrel
Le 27 novembre 2015, John Coppens a écrit : I think those 'tear-offs' are not the same ones as referred to here. The 'main menu bar' of GIMP doesn't have tear-offs anymore. I believe the ones you are showing are from right-clicking on the canvas. Right. I also suspect that the complexities ar

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-27 Thread John Coppens
On Thu, 19 Nov 2015 09:56:06 +0100 (CET) Lucas Levrel wrote: > Please see by yourself: Lucas, I think those 'tear-offs' are not the same ones as referred to here. The 'main menu bar' of GIMP doesn't have tear-offs anymore. I believe the ones you are showing are from right-clicking on the canva

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-19 Thread Richard Shann
On Thu, 2015-11-19 at 13:33 +, Richard Shann wrote: > On Thu, 2015-11-19 at 12:01 +, Emmanuele Bassi wrote: > > Hi; > > > > On 19 November 2015 at 09:53, Richard Shann wrote: > > > On Wed, 2015-11-18 at 23:41 +0100, Johan Vromans wrote: > > >> On Wed, 18 Nov 2015 18:49:52 + > > >> Ric

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-19 Thread Richard Shann
On Thu, 2015-11-19 at 12:01 +, Emmanuele Bassi wrote: > Hi; > > On 19 November 2015 at 09:53, Richard Shann wrote: > > On Wed, 2015-11-18 at 23:41 +0100, Johan Vromans wrote: > >> On Wed, 18 Nov 2015 18:49:52 + > >> Richard Shann wrote: > >> > >> > I've pushed a fix that turns off toolti

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-19 Thread Emmanuele Bassi
Hi; On 19 November 2015 at 09:53, Richard Shann wrote: > On Wed, 2015-11-18 at 23:41 +0100, Johan Vromans wrote: >> On Wed, 18 Nov 2015 18:49:52 + >> Richard Shann wrote: >> >> > I've pushed a fix that turns off tooltips on menus while leaving them on >> > everything else (for GTK version >=

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-19 Thread Richard Shann
On Wed, 2015-11-18 at 23:41 +0100, Johan Vromans wrote: > On Wed, 18 Nov 2015 18:49:52 + > Richard Shann wrote: > > > I've pushed a fix that turns off tooltips on menus while leaving them on > > everything else (for GTK version >=3.10). > > Can you test if this makes a usable interface? > >

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-19 Thread Lucas Levrel
Le 18 novembre 2015, Emmanuele Bassi a écrit : On 18 November 2015 at 15:57, Lucas Levrel wrote: Le 18 novembre 2015, Emmanuele Bassi a écrit : Tearoff menus are, by *any* metric that is not artificially restricted to "the Denemo users", a very seldom used UI element in any UI that has been

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-18 Thread Richard Shann
On Wed, 2015-11-18 at 17:15 +, Emmanuele Bassi wrote: > Hi; > > On 18 November 2015 at 16:55, Richard Shann wrote: > > >> > But in the longer term we are coming up to a crunch - the people > >> > developing Gtk are clearly only interested in a narrow group of users. > >> > >> Defining "narro

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-18 Thread Emmanuele Bassi
Hi; On 18 November 2015 at 16:55, Richard Shann wrote: >> > But in the longer term we are coming up to a crunch - the people >> > developing Gtk are clearly only interested in a narrow group of users. >> >> Defining "narrow" as "the group that I'm not in" is not conducive to >> an honest discuss

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-18 Thread Richard Shann
On Wed, 2015-11-18 at 12:27 +, Emmanuele Bassi wrote: > Hi; > > On 18 November 2015 at 11:16, Richard Shann wrote: > > > I've tracked this down, in the latest manual for gtk3: > > https://developer.gnome.org/gtk3/stable/GtkSettings.html#GtkSettings--gtk-tooltip-browse-timeout > > GtkSettings

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-18 Thread Emmanuele Bassi
Hi; On 18 November 2015 at 15:57, Lucas Levrel wrote: > Le 18 novembre 2015, Emmanuele Bassi a écrit : > >>> They decide that menus should not be torn off, and that is that, despite >>> the fact that Denemo users do tear off menus if they are going to be >>> using them for a while. >> >> >> Tearo

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-18 Thread Lucas Levrel
Le 18 novembre 2015, Emmanuele Bassi a écrit : They decide that menus should not be torn off, and that is that, despite the fact that Denemo users do tear off menus if they are going to be using them for a while. Tearoff menus are, by *any* metric that is not artificially restricted to "the De

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-18 Thread Emmanuele Bassi
Hi; On 18 November 2015 at 11:16, Richard Shann wrote: > I've tracked this down, in the latest manual for gtk3: > https://developer.gnome.org/gtk3/stable/GtkSettings.html#GtkSettings--gtk-tooltip-browse-timeout > GtkSettings:gtk-tooltip-browse-timeout has been deprecated since version 3.10 > an

Re: [Denemo-devel] Tooltips - what am I doing wrong?

2015-11-18 Thread Richard Shann
On Wed, 2015-11-18 at 10:35 +0100, Johan Vromans wrote: > On Wed, 18 Nov 2015 07:59:38 + > Richard Shann wrote: > > > One of the time settings available in the preferences sets the browse > > timeout, choosing a value for this (and, possibly, re-starting the > > program) causes a call the gtk