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/
