|
| From: | Richard M. Stallman |
| Subject: | Re: tab widths change when font size changes |
| Date: | Sun, 11 Dec 2005 11:49:15 -0500 |
This is probably not a bug. Tab widths are defined as multiples of a certain font parameter.
| [Prev in Thread] | Current Thread | [Next in Thread] |