chiark / gitweb /
$sz
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 1 Mar 2019 13:23:43 +0000 (13:23 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 1 Mar 2019 13:23:43 +0000 (13:23 +0000)
generate-board

index e1a5a33f075b7989cb625522943091c3af6db4f5..ea160dd27709675a83c996452f9d12647ef27eb0 100755 (executable)
@@ -307,13 +307,14 @@ sub edge_faces() {
 }
 
 sub label_faces() {
-  o("  1 setgray  /Helvetica-Bold findfont  18 scalefont setfont\n");
+  my $sz = 18;
+  o("  1 setgray  /Helvetica-Bold findfont  $sz scalefont setfont\n");
   foreach my $rr (values %region) {
     next if $rr->{Special};
     o("   ", psvec($rr->{Centre}), " moveto");
     foreach my $word (@{ $rr->{DisplayName} }) {
       o("   (",$word,") show");
-      o("   0 -18 rmoveto");
+      o("   0 -$sz rmoveto");
     }
   }
 }