chiark
/
gitweb
/
~ianmdlvl
/
otter.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8e079ae
)
fix layout algorithm
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 27 Sep 2020 16:11:26 +0000
(17:11 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 27 Sep 2020 16:11:26 +0000
(17:11 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs
patch
|
blob
|
history
diff --git
a/src/bin/otter.rs
b/src/bin/otter.rs
index 6009a3f3ba9a4d4184481cb9cebc9c6fac12927c..a76934e900d18c0732edb6c76aa884c3e44c187c 100644
(file)
--- 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 = m
in
(self.cbot, self.top + h);
+ self.cbot = m
ax
(self.cbot, self.top + h);
if self.cbot > self.bot { None? }
let ttopleft = PosC([tlhs, self.top]);