On Wednesday 13 July 2005 05:27 pm, Thomas Dickey wrote: > > They do use the same font size (called "Default" by xterm in both > > cases); I'm not sure what you're getting at there. Maybe you mean that > > they have different terminal sizes; I've updated the 'bad' one to use the > > same terminal size as the 'good' one (for obvious reasons I can't take > > another 'good' screenshot). > > The picture I see on the screen shows the bad one about 2/3 the width of > the good one. I'm at a loss as to what's going on then, because the text is exactly the same size for me. I just shaved one line off the bottom of the "bad" terminal, and now they're exactly the same size, and I can flip between the two images (e.g., in Firefox tabs) and see that the non-bold text is identical. Daniel -- /------------------- Daniel Burrows <dburrows@debian.org> ------------------\ | Whoever created the human body left in a fairly basic | | design flaw. It has a tendency to bend at the knees. | | -- Terry Pratchett, _Men at Arms_ | \------ Listener-supported public radio -- NPR -- http://www.npr.org -------/
Attachment:
pgpRY9UqC9To9.pgp
Description: PGP signature