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

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 <llev...@yahoo.fr> > To: gtk-app-devel-list@gnome.org > Subject: Re: [Denemo-devel] Tooltips - what am I doing wrong? > Me

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

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

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

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

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

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

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

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

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

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

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

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

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

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:

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

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: > >

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

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

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

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

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

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

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

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.

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

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 > >

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

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