On Wed, Oct 30, 2002 at 01:18:03AM +0200, Robin Turner wrote:
> I like the idea of character styles - like almost anyone who does
> documentation, I frequently write with a roman font, but with keys and
> menu items in sans-serif and user input in a typewriter font. Can't
> toggle three ways!
The font toggle mechanism is really an ugly hack to make things bearable
currently. Lars vetoed improvements in this area a long time ago, in
favour of character styles. I agree with him now.
john
--
""All the people we like are We, and everyone else is They."
- Kipling
