[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What improvements would be truly useful?
From: |
Eli Zaretskii |
Subject: |
Re: What improvements would be truly useful? |
Date: |
Wed, 07 Mar 2018 20:06:09 +0200 |
> Cc: address@hidden
> From: Daniele Nicolodi <address@hidden>
> Date: Wed, 7 Mar 2018 10:49:39 -0700
>
> > Then how should we understand your suggestion for "radical cleanup",
> > right after asserting that GTK is the only modern toolkit supported by
> > GNU/Linux?
>
> Radical cleanup of the GTK integration.
If you have ideas for how to achieve that, I'd be interested to hear
them.
Thanks.
- Re: Variable-width font indentation (was: What improvements would be truly useful?), (continued)
- Re: Variable-width font indentation (was: What improvements would be truly useful?), Eli Zaretskii, 2018/03/06
- Re: Variable-width font indentation (was: What improvements would be truly useful?), Richard Stallman, 2018/03/06
- Re: What improvements would be truly useful?, Daniele Nicolodi, 2018/03/05
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/05
- Re: What improvements would be truly useful?, Daniele Nicolodi, 2018/03/06
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/06
- Re: What improvements would be truly useful?, Daniel Colascione, 2018/03/06
- Re: What improvements would be truly useful?, Daniele Nicolodi, 2018/03/07
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/07
- Re: What improvements would be truly useful?, Daniele Nicolodi, 2018/03/07
- Re: What improvements would be truly useful?,
Eli Zaretskii <=
- Re: What improvements would be truly useful?, Philipp Stephani, 2018/03/07
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/08
- Re: What improvements would be truly useful?, Alan Third, 2018/03/08
- Re: What improvements would be truly useful?, Daniel Colascione, 2018/03/08
- Re: What improvements would be truly useful?, Yuri Khan, 2018/03/06
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/06
- Re: What improvements would be truly useful?, Juri Linkov, 2018/03/05
- Re: What improvements would be truly useful?, Óscar Fuentes, 2018/03/05
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/05
- Re: What improvements would be truly useful?, John Wiegley, 2018/03/05