html5/spec commands.html,1.48,1.49 spec.html,1.1711,1.1712

Update of /sources/public/html5/spec
In directory hutz:/tmp/cvs-serv25577

Modified Files:
	commands.html spec.html 
Log Message:
Update what the label of an <option> is for the purposes of commands. (whatwg r6656)

[updated by splitter]


Index: spec.html
===================================================================
RCS file: /sources/public/html5/spec/spec.html,v
retrieving revision 1.1711
retrieving revision 1.1712
diff -u -d -r1.1711 -r1.1712
--- spec.html	7 Oct 2011 22:46:29 -0000	1.1711
+++ spec.html	10 Oct 2011 22:46:22 -0000	1.1712
@@ -324,7 +324,7 @@
 
    <h1>HTML5</h1>
    <h2 class="no-num no-toc" id="a-vocabulary-and-associated-apis-for-html-and-xhtml">A vocabulary and associated APIs for HTML and XHTML</h2>
-   <h2 class="no-num no-toc" id="editor-s-draft-7-october-2011">Editor's Draft 7 October 2011</h2>
+   <h2 class="no-num no-toc" id="editor-s-draft-10-october-2011">Editor's Draft 10 October 2011</h2>
    <dl><dt>Latest Published Version:</dt>
     <dd><a href="http://www.w3.org/TR/html5/">http://www.w3.org/TR/html5/</a></dd>
     <dt>Latest Editor's Draft:</dt>
@@ -349,7 +349,7 @@
     <a href="Overview.html">single page HTML</a>,
     <a href="spec.html">multipage HTML</a>,
     <a href="author/">web developer edition</a>.
-This is revision 1.5337.
+This is revision 1.5338.
    </p> 
      <p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a>
    &#169; 2011 <a href="http://www.w3.org/"><abbr title="World Wide
@@ -470,7 +470,7 @@
   Group</a> is the W3C working group responsible for this
   specification's progress along the W3C Recommendation
   track.
-  This specification is the 7 October 2011 Editor's Draft.
+  This specification is the 10 October 2011 Editor's Draft.
   </p><!-- UNDER NO CIRCUMSTANCES IS THE PRECEDING PARAGRAPH TO BE REMOVED OR EDITED WITHOUT TALKING TO IAN FIRST --><p>Work on this specification is also done at the <a href="http://www.whatwg.org/">WHATWG</a>. The W3C HTML working group
   actively pursues convergence with the WHATWG, as required by the <a href="http://www.w3.org/2007/03/HTML-WG-charter">W3C HTML working
   group charter</a>.</p><!-- UNDER NO CIRCUMSTANCES IS THE FOLLOWING PARAGRAPH TO BE REMOVED OR EDITED WITHOUT TALKING TO IAN FIRST --><p>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5

Index: commands.html
===================================================================
RCS file: /sources/public/html5/spec/commands.html,v
retrieving revision 1.48
retrieving revision 1.49
diff -u -d -r1.48 -r1.49
--- commands.html	4 Oct 2011 17:46:26 -0000	1.48
+++ commands.html	10 Oct 2011 22:46:21 -0000	1.49
@@ -684,8 +684,11 @@
 
   <p>The <a href="#command-facet-label" title="command-facet-Label">Label</a> of the command
   is the value of the <code><a href="the-button-element.html#the-option-element">option</a></code> element's <code title="attr-option-label"><a href="the-button-element.html#attr-option-label">label</a></code> attribute, if there is one,
-  or the value of the <code><a href="the-button-element.html#the-option-element">option</a></code> element's
-  <code><a href="infrastructure.html#textcontent">textContent</a></code> IDL attribute if there isn't.</p>
+  or else the value of <code><a href="the-button-element.html#the-option-element">option</a></code> element's
+  <code><a href="infrastructure.html#textcontent">textContent</a></code> IDL attribute, with <a href="common-microsyntaxes.html#strip-leading-and-trailing-whitespace" title="strip
+  leading and trailing whitespace">leading and trailing whitespace
+  stripped</a>, and with any sequences of two or more <a href="common-microsyntaxes.html#space-character" title="space character">space characters</a> replaced by a single
+  U+0020 SPACE character.</p>
 
   <p>The <a href="#command-facet-hint" title="command-facet-Hint">Hint</a> of the command
   is the string given by the element's <code title="attr-title"><a href="elements.html#the-title-attribute">title</a></code> attribute, if any, and the empty

Received on Monday, 10 October 2011 22:46:28 UTC