[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Unfortunate pixel width of one TAB
From: |
Richard Stallman |
Subject: |
Re: Unfortunate pixel width of one TAB |
Date: |
Sun, 26 Dec 2004 23:10:11 -0500 |
When using a proportional font the pixel width of one TAB is "tab-width
times average_char_pixel_width". When editing files which contain tabs
and spaces for indenting, this leads to some bad alignment.
If would be nice if the pixel width of one TAB could be set to something
like "tab-width times space_pixel_width".
Do you mean, the width of a space in the current font?
That seems like the right behavior for it.
This ought to be an easy change, but I would have to spend half an
hour learning the background knowledge to make it.
Does anyone know enough about accessing fonts
to be able to do this change quickly? Handa, can you do
it quickly?
Please respond if you take care of this.
- Unfortunate pixel width of one TAB, Markus Gritsch, 2004/12/05
- Re: Unfortunate pixel width of one TAB,
Richard Stallman <=
- Re: Unfortunate pixel width of one TAB, Kenichi Handa, 2004/12/27
- Re: Unfortunate pixel width of one TAB, Markus Gritsch, 2004/12/27
- Re: Unfortunate pixel width of one TAB, Richard Stallman, 2004/12/28
- Re: Unfortunate pixel width of one TAB, Kenichi Handa, 2004/12/28
- Message not available
- Re: Unfortunate pixel width of one TAB, Kenichi Handa, 2004/12/30
- Re: Unfortunate pixel width of one TAB, Richard Stallman, 2004/12/30