chiark / gitweb /
edge_lw
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 2 Mar 2019 17:29:47 +0000 (17:29 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 2 Mar 2019 17:29:47 +0000 (17:29 +0000)
generate-board

index fcd1c7ac04b491adf572b056c71cda77190e7a69..38d927af25cc0aa88cdbc1fb7076c1f54a903eff 100755 (executable)
@@ -368,8 +368,10 @@ sub fill_faces() {
   }
 }
 
+our $edge_lw = 5;
+
 sub some_edge_faces (@) {
-  o("5 setlinewidth 1 setlinejoin 0 setgray\n");
+  o("$edge_lw setlinewidth 1 setlinejoin 0 setgray\n");
   foreach my $rr (@_) {
     next if $rr->{Name} =~ m/^L2?$/;
     face_path($rr);