projects
/
rocksndiamonds.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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 90749c425a4adecf8f3cf0b0b1d0ecf3e10e89e5..10280faa5ad6a00f6feb239d2cbafb7f7d1dc08c 100755
(executable)
--- a/
build-scripts/create_element_defs.pl
+++ b/
build-scripts/create_element_defs.pl
@@
-2360,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/;