[html5] r6656 - [giow] (0) Update what the label of an <option> is for the purposes of commands. [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2011-10-10 15:37:27 -0700 (Mon, 10 Oct 2011)
New Revision: 6656

Modified:
   complete.html
   index
   source
Log:
[giow] (0) Update what the label of an <option> is for the purposes of commands.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=13740

Modified: complete.html
===================================================================
--- complete.html	2011-10-07 22:33:09 UTC (rev 6655)
+++ complete.html	2011-10-10 22:37:27 UTC (rev 6656)
@@ -240,7 +240,7 @@
 
   <header class=head id=head><p><a class=logo href=http://www.whatwg.org/><img alt=WHATWG height=101 src=/images/logo width=101></a></p>
    <hgroup><h1 class=allcaps>HTML</h1>
-    <h2 class="no-num no-toc">Living Standard — Last Updated 7 October 2011</h2>
+    <h2 class="no-num no-toc">Living Standard — Last Updated 10 October 2011</h2>
    </hgroup><dl><dt><strong>Web developer edition:</strong></dt>
     <dd><strong><a href=http://developers.whatwg.org/>http://developers.whatwg.org/</a></strong></dd>
     <dt>Multiple-page version:</dt>
@@ -54570,8 +54570,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-option-element>option</a></code> element's <code title=attr-option-label><a href=#attr-option-label>label</a></code> attribute, if there is one,
-  or the value of the <code><a href=#the-option-element>option</a></code> element's
-  <code><a href=#textcontent>textContent</a></code> IDL attribute if there isn't.</p>
+  or else the value of <code><a href=#the-option-element>option</a></code> element's
+  <code><a href=#textcontent>textContent</a></code> IDL attribute, with <a href=#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=#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=#the-title-attribute>title</a></code> attribute, if any, and the empty

Modified: index
===================================================================
--- index	2011-10-07 22:33:09 UTC (rev 6655)
+++ index	2011-10-10 22:37:27 UTC (rev 6656)
@@ -240,7 +240,7 @@
 
   <header class=head id=head><p><a class=logo href=http://www.whatwg.org/><img alt=WHATWG height=101 src=/images/logo width=101></a></p>
    <hgroup><h1 class=allcaps>HTML</h1>
-    <h2 class="no-num no-toc">Living Standard — Last Updated 7 October 2011</h2>
+    <h2 class="no-num no-toc">Living Standard — Last Updated 10 October 2011</h2>
    </hgroup><dl><dt><strong>Web developer edition:</strong></dt>
     <dd><strong><a href=http://developers.whatwg.org/>http://developers.whatwg.org/</a></strong></dd>
     <dt>Multiple-page version:</dt>
@@ -54570,8 +54570,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-option-element>option</a></code> element's <code title=attr-option-label><a href=#attr-option-label>label</a></code> attribute, if there is one,
-  or the value of the <code><a href=#the-option-element>option</a></code> element's
-  <code><a href=#textcontent>textContent</a></code> IDL attribute if there isn't.</p>
+  or else the value of <code><a href=#the-option-element>option</a></code> element's
+  <code><a href=#textcontent>textContent</a></code> IDL attribute, with <a href=#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=#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=#the-title-attribute>title</a></code> attribute, if any, and the empty

Modified: source
===================================================================
--- source	2011-10-07 22:33:09 UTC (rev 6655)
+++ source	2011-10-10 22:37:27 UTC (rev 6656)
@@ -61495,8 +61495,12 @@
   <p>The <span title="command-facet-Label">Label</span> of the command
   is the value of the <code>option</code> element's <code
   title="attr-option-label">label</code> attribute, if there is one,
-  or the value of the <code>option</code> element's
-  <code>textContent</code> IDL attribute if there isn't.</p>
+  or else the value of <code>option</code> element's
+  <code>textContent</code> IDL attribute, with <span title="strip
+  leading and trailing whitespace">leading and trailing whitespace
+  stripped</span>, and with any sequences of two or more <span
+  title="space character">space characters</span> replaced by a single
+  U+0020 SPACE character.</p>
 
   <p>The <span title="command-facet-Hint">Hint</span> of the command
   is the string given by the element's <code