Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-2140022 ] Horizontal tab width smaller than N spaces
|
From: SourceForge.net <no...@so...> - 2008-10-01 09:56:26
|
Bugs item #2140022, was opened at 2008-10-01 11:54 Message generated for change (Comment added) made by engmark You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2140022&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: editor core Group: minor bug Status: Open Resolution: None Priority: 5 Private: No Submitted By: Victor Engmark (engmark) Assigned to: Nobody/Anonymous (nobody) Summary: Horizontal tab width smaller than N spaces Initial Comment: Text spaced with spaces does not align up with text spaced with tabs. It looks like tabs are one pixel too short. The attached example shows a text file where the tab width has been set to 3, containing two strings separated by 12 tabs, followed by the same two strings separated by 3 * 12 spaces, as copied here: test foo test foo ---------------------------------------------------------------------- >Comment By: Victor Engmark (engmark) Date: 2008-10-01 11:56 Message: Sorry, looks like SourceForge trims extra whitespace and convert them to spaces. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2140022&group_id=588 |
