[
Lists Home |
Date Index |
Thread Index
]
- From: Tim Bray <tbray@textuality.com>
- To: Peter Murray-Rust <peter@ursus.demon.co.uk>,xml-dev@ic.ac.uk
- Date: Fri, 20 Feb 1998 16:23:26 -0800
At 10:34 PM 2/20/98, Peter Murray-Rust wrote:
A short answer: yes, if you want to respect xml:space, you have really
no choice but to keep a stack or suchlike to see if it's been overriden
in a child element. JUMBO, since it's an application, has no obligation
to respect xml:space, it's just a request, after all. If you are
respecting xml:space, whenever you are in an element for which
xml:space='preserve' does not apply, you should do whatever best suits the
needs of your application and its users. I very much doubt there is a
universal answer for all classes of application. I think HTML gets it
pretty much right for display type applications.
As for your question "will it be used?": yes, of course. -Tim
xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev@ic.ac.uk
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/
To (un)subscribe, mailto:majordomo@ic.ac.uk the following message;
(un)subscribe xml-dev
To subscribe to the digests, mailto:majordomo@ic.ac.uk the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa@ic.ac.uk)
|
