|
| From: | Markus Gritsch |
| Subject: | Unfortunate pixel width of one TAB |
| Date: | Sun, 05 Dec 2004 17:04:55 +0100 |
| User-agent: | Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.1) Gecko/20040707 |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |