chiark / gitweb /
c DisplayNames
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 1 Mar 2019 13:23:10 +0000 (13:23 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 1 Mar 2019 13:23:10 +0000 (13:23 +0000)
Parse.pm
misc-data.pl

index 33fca3c66c3db8a784eb021a0a9bbdf06d48ec17..d65495cb2e438f204c895134a5a2144d2dd17a70 100644 (file)
--- a/Parse.pm
+++ b/Parse.pm
@@ -44,7 +44,7 @@ sub read_in () {
     }
     if (my ($name, $water) = m{^\t(\S.*\w|L)(?: \[(\d+)\])?$}) {
       confess unless defined $ccolour;
-      my $dname = $name;
+      my $dname = $c{DisplayNames}{$name} // $name;
       $name =~ s{/}{}g;
       confess "$name ?" if $region{$name};
       $region{$name}{Colour} = $ccolour;
index 8514dce32abc1980bbf677b1f98252184eef15e9..f1e12d615e63747f6e1eb5a7558f9cf3f378e2f9 100644 (file)
@@ -12,4 +12,7 @@ our %c =
      sea    => '88f',
      land   => '922',
  },
+ DisplayNames => {
+     ZZ => 'Zuiderzee',
+ },
 );