finished configurability of tape date and time display positions

[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 8c097551a790a5c1f643d1640c5edb958c2d96d6..06e1897217dcd9a9097d25a382289cc67fd6dbd3 100755 (executable)
--- a/build-scripts/create_element_defs.pl
+++ b/build-scripts/create_element_defs.pl
@@ -2391,6 +2391,7 @@ sub print_image_config_vars
            # --- some suffix replacements ---
 
            $var =~ s/^(menu\.main\..*)\.chars$/$1.size/;
+           $var =~ s/^(tape\.text\..*)\.chars$/$1.size/;
            $var =~ s/^(game\.panel\..*)\.chars$/$1.size/;
            $var =~ s/^(game\.panel\..*)\.tile_size$/$1.size/;
            $var =~ s/^(request\.button\..*)\.tile_size$/$1.size/;