chiark / gitweb /
adjust some text
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 00:50:17 +0000 (00:50 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 00:50:17 +0000 (00:50 +0000)
generate-board

index 2d5b371f498e24411b048fbea00ad36371e87fcf..3587aa5d1bc7a8fe7832e66c6dc100fdcfa3db7e 100755 (executable)
@@ -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";