html5/spec Overview.html,1.3396,1.3397

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

Modified Files:
	Overview.html 
Log Message:
xref issue (whatwg r4253)

Index: Overview.html
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.3396
retrieving revision 1.3397
diff -u -d -r1.3396 -r1.3397
--- Overview.html	21 Oct 2009 09:50:12 -0000	1.3396
+++ Overview.html	21 Oct 2009 09:55:55 -0000	1.3397
@@ -50255,14 +50255,14 @@
   <p>The <dfn id="dom-textarea-input-setselectionrange" title="dom-textarea/input-setSelectionRange"><code>setSelectionRange(<var title="">start</var>, <var title="">end</var>)</code></dfn> method
   must set the selection of the text field to the sequence of
   characters starting with the character at the <var title="">start</var>th position (in logical order) and ending with
-  the character at the <span>(<var title="">end</var>-1)</span>th
-  position. Arguments greater than the length of the value in the text
-  field must be treated as pointing at the end of the text field. If
-  <var title="">end</var> is less than or equal to <var title="">start</var> then the start of the selection and the end of
-  the selection must both be placed immediately before the character
-  with offset <var title="">end</var>. In UAs where there is no
-  concept of an empty selection, this must set the cursor to be just
-  before the character with offset <var title="">end</var>.</p>
+  the character at the <span title="">(<var title="">end</var>-1)</span>th position. Arguments greater than the
+  length of the value in the text field must be treated as pointing at
+  the end of the text field. If <var title="">end</var> is less than
+  or equal to <var title="">start</var> then the start of the
+  selection and the end of the selection must both be placed
+  immediately before the character with offset <var title="">end</var>. In UAs where there is no concept of an empty
+  selection, this must set the cursor to be just before the character
+  with offset <var title="">end</var>.</p>
 
   </div><div class="example">
 
@@ -65426,7 +65426,7 @@
   pixels</a> algorithm to the number 20.</p>
 
   <p>The <dfn id="converting-a-character-width-to-pixels">converting a character width to pixels</dfn> algorithm
-  returns <span>(<var title="">size</var>-1)&times;<var title="">avg</var>&nbsp;+&nbsp;<var title="">max</var></span>, where
+  returns <span title="">(<var title="">size</var>-1)&times;<var title="">avg</var>&nbsp;+&nbsp;<var title="">max</var></span>, where
   <var title="">size</var> is the character width to convert, <var title="">avg</var> is the average character width of the primary
   font for the element for which the algorithm is being run, in
   pixels, and <var title="">max</var> is the maximum character width

Received on Wednesday, 21 October 2009 09:56:00 UTC