Changeset 7736 in josm

Timestamp:

2014-11-19T22:46:34+01:00 (11 years ago)

Author:

stoecker

Message:

exclude some recently removed icons from distribution

Location:

trunk

Files:

• geticons.pl (modified) (1 diff)
• images_nodist/presets/baseball.png (moved) (moved from trunk/images/presets/baseball.png )
• images_nodist/presets/canoe.png (moved) (moved from trunk/images/presets/canoe.png )
• images_nodist/presets/cricket.png (moved) (moved from trunk/images/presets/cricket.png )
• images_nodist/presets/cycling.png (moved) (moved from trunk/images/presets/cycling.png )
• images_nodist/presets/pitch.png (moved) (moved from trunk/images/presets/pitch.png )
• images_nodist/presets/racquetball.png (moved) (moved from trunk/images/presets/racquetball.png )
• images_nodist/presets/skiing_downhill.png (moved) (moved from trunk/images/presets/skiing_downhill.png )
• images_nodist/presets/soccer.png (moved) (moved from trunk/images/presets/soccer.png )
• images_nodist/presets/sports_centre.png (moved) (moved from trunk/images/presets/sports_centre.png )
• images_nodist/presets/tennis.png (moved) (moved from trunk/images/presets/tennis.png )

trunk/geticons.pl

@@ -43 +43 @@
         ++$icons{$img};
       }
-      if($l =~ /ImageProvider\.get\(\"([^\"]*?)\"\)/)
+      if($l =~ /ImageProvider(?:\.get)?\(\"([^\"]*?)\"\)/)
       {
         my $i = $1;
+        $i = "styles/standard/$i" if $i eq "misc/no_icon.png";
         ++$icons{$i};
       }