xml:space

[Tim Bray]

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 at ic.ac.uk
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/
To (un)subscribe, mailto:majordomo at ic.ac.uk the following message;
(un)subscribe xml-dev
To subscribe to the digests, mailto:majordomo at ic.ac.uk the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa at ic.ac.uk)