Hi!

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".

Kind regards,
Markus