Re: font tweaking

Brent> ... you'd need to send yourself a text part in some alternate character
Brent> set and ensure that it is displayed right.  I don't think it will be.

I suspected something like that.  OK, I've undone that change ...

Brent> The way to try your fix is to use a "tag raise" command ...

Excellent; now it works as I had originally hoped.

Just one (I hope) follow-up question: I'm not sure what font to use as a
default for this.  The default "master" font appears to be "fixed", but
although `xlsfonts` lists that, I don't see any sort of obvious bold analog.
I use 9x15 for many things, so 9x15bold is the obvious one for *me* to use.
If you have a suggestion, I'll happily included that in my patch of the
app-defaults file; otherwise, I'll use 9x15bold.

-- John