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
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
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
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
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
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 >=
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?
>
>
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
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
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
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
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
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
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
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
15 matches
Mail list logo