--- a/editcommands.html Fri Jul 08 14:15:56 2011 -0600
+++ b/editcommands.html Fri Jul 08 15:03:48 2011 -0600
@@ -1999,6 +1999,11 @@
<li>For each <var title="">node</var> in <var title="">node list</var>:
+ <p class=XXX>This is inefficient. It would be most efficient to only push
+ down values on the highest-level effectively contained nodes, and to batch
+ operations so we handle runs of adjacent siblings at once. Should we bother
+ fixing this?
+
<ol>
<li><a href=#push-down-values>Push down values</a> on <var title="">node</var>.
--- a/source.html Fri Jul 08 14:15:56 2011 -0600
+++ b/source.html Fri Jul 08 15:03:48 2011 -0600
@@ -1974,6 +1974,11 @@
<li>For each <var>node</var> in <var>node list</var>:
+ <p class=XXX>This is inefficient. It would be most efficient to only push
+ down values on the highest-level effectively contained nodes, and to batch
+ operations so we handle runs of adjacent siblings at once. Should we bother
+ fixing this?
+
<ol>
<li><span>Push down values</span> on <var>node</var>.