[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[sr #110582] Bug comments should display tab characters conventionally
From: |
Dave |
Subject: |
[sr #110582] Bug comments should display tab characters conventionally |
Date: |
Tue, 14 Mar 2023 18:59:45 -0400 (EDT) |
Follow-up Comment #4, sr #110582 (project administration):
On further thought, there is a competing interest for verbatim blocks on
whether they should look right in the browser, or copy correctly for later
pasting.
Viewing source on the [comment #0 original submission] shows that the
non-verbatim area has tab characters in the source (which the browser is
condensing to a single space, a rendering decision that is arguably within the
browser's purview), while the verbatim area has only sequences of " "s,
which means savannah is altering the tabs that the user entered. But it is
doing this by converting each tab to a _fixed_ number of spaces, which doesn't
seem to serve either use case: it will never copy/paste as tabs, and it will
often not display correctly in the browser, except in cases where every tab
character happens to appear at a tab stop.
_______________________________________________________
Reply to this item at:
<https://savannah.nongnu.org/support/?110582>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/
- [sr #110582] Bug comments should display tab characters conventionally,
Dave <=