- From: <bugzilla@jessica.w3.org>
- Date: Sat, 12 Oct 2013 20:34:40 +0000
- To: public-html-bugzilla@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=12235
Carl Smith <carl.input@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |carl.input@gmail.com
--- Comment #17 from Carl Smith <carl.input@gmail.com> ---
Can this be reconsidered?
I have an application that amounts to a shell, where the front end runs in the
browser, similar to the IPython Notebook. It uses <xmp> to wrap output.
The output must be converted to HTML, which involves preserving all whitespace,
including tabs (think `ls -la`).
Converting every space to and every new line to <br> and then converting
tabs into HTML tables, doesn't actually cover all the edge cases, and it takes
ages, and roughly doubles the size of the output.
output = '<xmp>'+output+'</xmp>'; // works perfectly
It's been pointed out that there are ways to hack the same effect by combining
a bunch of other tags, but is that really what we want in HTML5?
Please reconsider.
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Saturday, 12 October 2013 20:34:43 UTC