• From: Tim Bray <tbray@t...>
• To: Peter Murray-Rust <peter@u...>,xml-dev@i...
• 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@i...
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/
To (un)subscribe, mailto:majordomo@i... the following message;
(un)subscribe xml-dev
To subscribe to the digests, mailto:majordomo@i... the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa@i...)

• Prev by Date: xml:space
• Next by Date: Re: Binary Data
• Previous by thread: Re: xml:space
• Next by thread: xml-based protocol
• Index(es):
  • Date
  • Thread