Re: [Fwd: Bug#78447: I'd like to choose the default font to use in an xemacs menu]
Josh Huber wrote:
>
>
> so, it's actually broken, or did you not try 'Save Options'?
>
> or perhaps this is different than xemacs, and doesn't have this
> option?
Well, it's got the option and it simply doesn't work with my system.
I guess it saves the thing (after all, that's what it should do
logically) but the font selection will not be realized correctly.
(since I happen to be using some combination of gnome settings +
gtk themes.. :/)
Thanks,
--
Eray (exa) Ozkural
Comp. Sci. Dept., Bilkent University, Ankara
e-mail: erayo@cs.bilkent.edu.tr
www: http://www.cs.bilkent.edu.tr/~erayo
Reply to: