> From: Colomban Wendling
> To: gtk-app-devel-list@gnome.org
> Subject: Re: caret-color (and caret-width?)
> Message-ID: <6524684c-f52e-ec20-0906-b63224766...@herbesfolles.org>
> Content-Type: text/plain; charset=windows-1252
>
> Hi,
>
> Le 26/01/2017 ? 16:57, Richard Shann a ?crit :
> > I see
On Sat, 2016-12-31 at 20:11 +, Emmanuele Bassi wrote:
> consider using a small
> CSS fragment shipped with your own application, if you want to change
> the appearance of your UI, instead of hardcoding a space.
>
> Especially now that the CSS system is documented and extremely
> powerful.
are