From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 Sep 2020 15:55:39 +0000 (+0100)
Subject: fix layout algorithm
X-Git-Tag: otter-0.2.0~848
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=a72d3ee1827eb7d74fb3eff9b90450856d0a0e6b;p=otter.git

fix layout algorithm

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

diff --git a/src/bin/otter.rs b/src/bin/otter.rs
index 20693b1e..f0987838 100644
--- a/src/bin/otter.rs
+++ b/src/bin/otter.rs
@@ -778,7 +778,7 @@ mod library_add {
           self.top = self.cbot;
           self.clhs = self.lhs;
         };
-        self.cbot = min(self.cbot, h);
+        self.cbot = min(self.cbot, self.top - h);
         if self.cbot > self.bot { None? }
 
         let ttopleft = PosC([tlhs, self.top]);