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
