From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 Sep 2020 16:04:33 +0000 (+0100)
Subject: shape library adding wip
X-Git-Tag: otter-0.2.0~847
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=75bf69e6121671ea5e74310a66e19355d324e724;p=otter.git

shape library adding wip

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

diff --git a/src/bin/otter.rs b/src/bin/otter.rs
index f0987838..6009a3f3 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, self.top - h);
+        self.cbot = min(self.cbot, self.top + h);
         if self.cbot > self.bot { None? }
 
         let ttopleft = PosC([tlhs, self.top]);
@@ -794,6 +794,7 @@ mod library_add {
     let mut exitcode = 0;
     let mut insns = vec![];
     for (ix, it) in items.iter().enumerate() {
+      dbg!(&it.itemname);
       if let Some(already) = &already {
         if already.contains(&it.itemname) { continue }
       }
diff --git a/templates/script.ts b/templates/script.ts
index 12af4321..04054931 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -699,4 +699,6 @@ function loaded(xhr: XMLHttpRequest){
   startup();
 }
 
+// xxx scroll of log messages to bottom does not always work somehow
+
 doload();