Mirco, I agree with you that this is not something we should support
through a preference that is easily user settable. If it's relatively
easy to have an override gconf key for the two fonts required, then feel
free to support that and close the bug.
Mirco, I agree with you that this is not something we should support
through a preference that is easily user settable. If it's relatively
easy to have an override gconf key for the two fonts required, then feel
free to support that and close the bug.