From: Tony H. <h...@re...> - 2007-01-04 14:15:31
|
In <200...@we...>, Guido Schimmels wrote: > On Wed, 3 Jan 2007 21:36:07 +0000 > Tony Houghton <h...@re...> wrote: > > > FWIW ROXTerm doesn't use the terminal font setting because it would have > > to use gconf to read it and I don't really want the extra dependency > > just for a setting which is duplicated in ROXTerm's own options. > > I thought of writing to ROXTerm's config file directly. The trouble is ROXTerm can have a number of profiles. It wouldn't really be possible for the configlet to work out whether the user wants the current profile to track or override the system font setting. And ideally the configlet would have to send a dbus message to any running ROXTerms when the font is changed. -- TH * http://www.realh.co.uk |