|
| From: | Richard Stallman |
| Subject: | Re: Unfortunate pixel width of one TAB |
| Date: | Mon, 27 Dec 2004 17:35:32 -0500 |
> Do you mean, the width of a space in the current font?
> That seems like the right behavior for it.
Is there someone who knows about font data structures enough
to do make this change efficiently?
Please respond to this message only if you can offer to do the
job.
| [Prev in Thread] | Current Thread | [Next in Thread] |