Re: [PATCH] generalizing face settings..., GTK face fixes

John Paul Wallington

Thursday, 13 December 2001 Thu, 13 Dec '01

2:32 p.m.

(permalink)

William M. Perry wrote: [...]

...

This has the side-effect that GTK and MacOS faces will get the same defaults as everything else.

I liked setting GTK specific defaults in gtk-init-device-faces in gtk-faces.el, using the style information from gtk-style-info, though. -- John Paul Wallington