[html5] r5163 - [e] (0) Tweak the steps to reduce the likelihood of bugs implementing the AAA. F [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2010-07-14 12:19:17 -0700 (Wed, 14 Jul 2010)
New Revision: 5163

Modified:
   complete.html
   index
   source
Log:
[e] (0) Tweak the steps to reduce the likelihood of bugs implementing the AAA.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=10096

Modified: complete.html
===================================================================
--- complete.html	2010-07-14 19:14:38 UTC (rev 5162)
+++ complete.html	2010-07-14 19:19:17 UTC (rev 5163)
@@ -82191,10 +82191,6 @@
        <li>Otherwise, if <var title="">node</var> is the <var title="">formatting element</var>, then go to the next step
        in the overall algorithm.</li>
 
-       <li>Otherwise, if <var title="">last node</var> is the <var title="">furthest block</var>, then move the aforementioned
-       bookmark to be immediately after the <var title="">node</var> in the <a href=#list-of-active-formatting-elements>list of active formatting
-       elements</a>.</li>
-
        <li><a href=#create-an-element-for-the-token>Create an element for the token</a> for which the
        element <var title="">node</var> was created, replace the entry
        for <var title="">node</var> in the <a href=#list-of-active-formatting-elements>list of active
@@ -82204,6 +82200,10 @@
        element, and let <var title="">node</var> be the new
        element.</li>
 
+       <li>If <var title="">last node</var> is the <var title="">furthest block</var>, then move the aforementioned
+       bookmark to be immediately after the new <var title="">node</var> in the <a href=#list-of-active-formatting-elements>list of active formatting
+       elements</a>.</li>
+
        <li>Insert <var title="">last node</var> into <var title="">node</var>, first removing it from its previous
        parent node if any.</li>
 

Modified: index
===================================================================
--- index	2010-07-14 19:14:38 UTC (rev 5162)
+++ index	2010-07-14 19:19:17 UTC (rev 5163)
@@ -75432,10 +75432,6 @@
        <li>Otherwise, if <var title="">node</var> is the <var title="">formatting element</var>, then go to the next step
        in the overall algorithm.</li>
 
-       <li>Otherwise, if <var title="">last node</var> is the <var title="">furthest block</var>, then move the aforementioned
-       bookmark to be immediately after the <var title="">node</var> in the <a href=#list-of-active-formatting-elements>list of active formatting
-       elements</a>.</li>
-
        <li><a href=#create-an-element-for-the-token>Create an element for the token</a> for which the
        element <var title="">node</var> was created, replace the entry
        for <var title="">node</var> in the <a href=#list-of-active-formatting-elements>list of active
@@ -75445,6 +75441,10 @@
        element, and let <var title="">node</var> be the new
        element.</li>
 
+       <li>If <var title="">last node</var> is the <var title="">furthest block</var>, then move the aforementioned
+       bookmark to be immediately after the new <var title="">node</var> in the <a href=#list-of-active-formatting-elements>list of active formatting
+       elements</a>.</li>
+
        <li>Insert <var title="">last node</var> into <var title="">node</var>, first removing it from its previous
        parent node if any.</li>
 

Modified: source
===================================================================
--- source	2010-07-14 19:14:38 UTC (rev 5162)
+++ source	2010-07-14 19:19:17 UTC (rev 5163)
@@ -93841,12 +93841,6 @@
        title="">formatting element</var>, then go to the next step
        in the overall algorithm.</li>
 
-       <li>Otherwise, if <var title="">last node</var> is the <var
-       title="">furthest block</var>, then move the aforementioned
-       bookmark to be immediately after the <var
-       title="">node</var> in the <span>list of active formatting
-       elements</span>.</li>
-
        <li><span>Create an element for the token</span> for which the
        element <var title="">node</var> was created, replace the entry
        for <var title="">node</var> in the <span>list of active
@@ -93856,6 +93850,12 @@
        element, and let <var title="">node</var> be the new
        element.</li>
 
+       <li>If <var title="">last node</var> is the <var
+       title="">furthest block</var>, then move the aforementioned
+       bookmark to be immediately after the new <var
+       title="">node</var> in the <span>list of active formatting
+       elements</span>.</li>
+
        <li>Insert <var title="">last node</var> into <var
        title="">node</var>, first removing it from its previous
        parent node if any.</li>