added options for player selection button positions in setup menu

[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 bd8cd46d2188af5d826b0b160a381f6007ee3bce..10280faa5ad6a00f6feb239d2cbafb7f7d1dc08c 100755 (executable)
--- a/build-scripts/create_element_defs.pl
+++ b/build-scripts/create_element_defs.pl
@@ -1683,7 +1683,8 @@ sub print_element_to_special_graphic_list
 
     my @elements_with_editor_graphic =
        (
-        'char_space'
+        'char_space',
+        'steel_char_space'
         );
 
     my @unknown_graphics = ();
@@ -2359,6 +2360,7 @@ sub print_image_config_vars
            # --- some prefix replacements ---
 
            $var =~ s/^main\./menu.main./;
+           $var =~ s/^setup\./menu.setup./;
            $var =~ s/^\[player\]\./game.player_/;
            $var =~ s/^\[title_initial\]/title_initial_default/;
            $var =~ s/^\[title\]/title_default/;