Re: Unfortunate pixel width of one TAB

[Richard Stallman]

    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.