Re: gtk settings and F32