chiark / gitweb /
shape library adding wip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Sep 2020 16:04:33 +0000 (17:04 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Sep 2020 16:04:42 +0000 (17:04 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs
templates/script.ts

index f09878386ef12bb4646b645b3091471db7e23d4c..6009a3f3ba9a4d4184481cb9cebc9c6fac12927c 100644 (file)
@@ -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 }
       }
index 12af432103f0ac6d3886bd1e37d1dd8ad7de84bf..04054931f9a728aeb9f701e68982501584dbbcb7 100644 (file)
@@ -699,4 +699,6 @@ function loaded(xhr: XMLHttpRequest){
   startup();
 }
 
+// xxx scroll of log messages to bottom does not always work somehow
+
 doload();