chiark
/
gitweb
/
~ian
/
pandemic-rising-tide.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
979e2db
)
adjust some text
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 00:50:17 +0000
(
00:50
+0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 00:50:17 +0000
(
00:50
+0000)
generate-board
patch
|
blob
|
history
diff --git
a/generate-board
b/generate-board
index 2d5b371f498e24411b048fbea00ad36371e87fcf..3587aa5d1bc7a8fe7832e66c6dc100fdcfa3db7e 100755
(executable)
--- a/
generate-board
+++ b/
generate-board
@@
-452,6
+452,13
@@
sub label_faces() {
+ $hs_sz*0.15);
one_hs($rr->{Colour}, $hspos);
}
+ if ($rr->{Name} eq 'Zeeuws-Vlaanderen') {
+ $pos += $sz * mkvec(0.5, 0);
+ }
+ if ($rr->{Name} eq 'Walcheren') {
+ $pos += $sz * mkvec(0.6, 0.5);
+ #$pos += $sz * mkvec(-1.0, -0.75);
+ }
my $w = $rr->{Water};
if ($w) {
print STDERR " water $w in $rr->{Name}\n";