Demote an XXX to TODO
authorAryeh Gregor <AryehGregor+gitcommit@gmail.com>
Tue, 12 Jul 2011 11:51:47 -0600
changeset 398 d1445d8ac836
parent 397 cf1e0d048f96
child 399 3f2d1b0bf985
Demote an XXX to TODO
editcommands.html
source.html
--- a/editcommands.html	Tue Jul 12 11:35:11 2011 -0600
+++ b/editcommands.html	Tue Jul 12 11:51:47 2011 -0600
@@ -4352,8 +4352,15 @@
   <var title="">node</var>, <a href=#preserving-its-descendants>preserving its descendants</a>.  Then abort these
   steps.
 
-  <p class=XXX>Look into handling indentation like Gecko in CSS mode, where a
-  margin attribute is added to a random element.
+  <!--
+  Gecko in CSS mode just adds margin properties to random elements that are
+  lying around.  We don't attempt to remove those, because 1) the amount and
+  position of the margin can vary (it increases the margin if there's a
+  preexisting one), so it's potentially complicated, and 2) no browser removes
+  such margins on outdent, including Gecko, except for Gecko in CSS mode.
+
+  TODO: Consider removing it anyway.
+  -->
 
   <li>If <var title="">node</var> is an <a href=#indentation-element>indentation element</a>:
   <!-- This might be a simple indentation element that had style added to it by
--- a/source.html	Tue Jul 12 11:35:11 2011 -0600
+++ b/source.html	Tue Jul 12 11:51:47 2011 -0600
@@ -4339,8 +4339,15 @@
   <var>node</var>, <span>preserving its descendants</span>.  Then abort these
   steps.
 
-  <p class=XXX>Look into handling indentation like Gecko in CSS mode, where a
-  margin attribute is added to a random element.
+  <!--
+  Gecko in CSS mode just adds margin properties to random elements that are
+  lying around.  We don't attempt to remove those, because 1) the amount and
+  position of the margin can vary (it increases the margin if there's a
+  preexisting one), so it's potentially complicated, and 2) no browser removes
+  such margins on outdent, including Gecko, except for Gecko in CSS mode.
+
+  TODO: Consider removing it anyway.
+  -->
 
   <li>If <var>node</var> is an <span>indentation element</span>:
   <!-- This might be a simple indentation element that had style added to it by