W3C home > Mailing lists > Public > public-html@w3.org > November 2007

ISSUE-17 (media-queries-tab-preprocessing): Vertical tab preprocessing for media queries [HTML 5 spec]

From: HTML Issue Tracking Issue Tracker <sysbot+tracker@w3.org>
Date: Wed, 14 Nov 2007 20:55:25 +0000 (GMT)
To: public-html@w3.org
Message-Id: <20071114205525.456205F7A5@stu.w3.org>

ISSUE-17 (media-queries-tab-preprocessing): Vertical tab preprocessing for media queries [HTML 5 spec]

http://www.w3.org/html/wg/tracker/issues/

Raised by: Shawn Medero
On product: HTML 5 spec

## Summary

> Please define a preprocessing step that turns vtabs into spaces before
media query parsing.

Raised by Henri Sivonen [on IRC][3] and [the mailing list][1] in response to [a discussion that occurred on the www-style list][2].

> <hsivonen> Hixie: did you see the whitespace discrepancy point I mentioned on www-style?
> <hsivonen> Hixie: If you've told me why vertical tab is space in HTML5, I have forgotten
> <Hixie> whitespace means several things just within HTML5
> <Hixie> let alone when compared to other specs like Unicode, XML, JS, or CSS, each of which has their own definition
> <Hixie> iirc VT is included because implementations include it
> <hsivonen> OK. In that case, I suggest media queries should inherit the set of white space characters from the host language
> <hsivonen> as a conformance requirement, it would be highly silly that VT in HTML5 were ok between class name tokens but not between media query tokens
> <Hixie> or i could define a preprocessing step in HTML5 to normalise the whitespace first
> <Hixie> (for media queries(
> <Hixie> )) 

[1]: http://lists.w3.org/Archives/Public/public-html/2007Nov/0206.html
[2]: http://lists.w3.org/Archives/Public/www-style/2007Nov/0142.html
[3]: http://krijnhoetmer.nl/irc-logs/html-wg/20071114#l-259
Received on Wednesday, 14 November 2007 20:55:52 UTC

This archive was generated by hypermail 2.4.0 : Saturday, 9 October 2021 18:44:23 UTC