From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 21 Nov 2020 12:58:35 +0000 (+0000)
Subject: lower: bug is fixed I think
X-Git-Tag: otter-0.2.0~436
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=994f828763d6a8c1c09ab68bd5ba15a52e274a21;p=otter.git

lower: bug is fixed I think

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/templates/script.ts b/templates/script.ts
index f0e31af1..08b7475b 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -532,7 +532,6 @@ function lower_pieces(targets_todo: LowerTodoList):
     }
   }
 
-  // xxx this does not seem to actually lower it even if we then reload
   // xxx we don't actually change our own stacking order by reordering
   //     the elements