added selecting level from the high score screen

[rocksndiamonds.git] / build-scripts / create_element_defs.pl

diff --git a/build-scripts/create_element_defs.pl b/build-scripts/create_element_defs.pl
index 3f5693fe4de0ab304a9b38181bd8d4adae64ae78..84d9bc6c6ad14289d5d5476eb1a66b048e2f5a76 100755 (executable)
--- a/build-scripts/create_element_defs.pl
+++ b/build-scripts/create_element_defs.pl
@@ -2509,6 +2509,7 @@ sub print_image_config_vars
 
            $var =~ s/^main\./menu.main./;
            $var =~ s/^setup\./menu.setup./;
+           $var =~ s/^scores\./menu.scores./;
            $var =~ s/^\[player\]\./game.player_/;
            $var =~ s/^\[title_initial\]/title_initial_default/;
            $var =~ s/^\[title\]/title_default/;