fixed bug with restarting same menu music on different screens

[rocksndiamonds.git] / src / config.c

diff --git a/src/config.c b/src/config.c
index 3b75f709207583ab77737813336b30282ff315ec..0eb51d2ec27db76cde56521cff216f2332db4379 100644 (file)
--- a/src/config.c
+++ b/src/config.c
@@ -29,9 +29,9 @@ char *getProgramVersionString()
 {
   static char program_version_string[32];
 
-  sprintf(program_version_string, "%d.%d.%d.%d",
+  sprintf(program_version_string, "%d.%d.%d.%d%s",
          PROGRAM_VERSION_MAJOR, PROGRAM_VERSION_MINOR, PROGRAM_VERSION_PATCH,
-         PROGRAM_VERSION_BUILD);
+         PROGRAM_VERSION_BUILD, PROGRAM_VERSION_EXTRA);
 
   return program_version_string;
 }
@@ -65,13 +65,13 @@ char *getWindowTitleString()
                                       strlen(getCompileDateString()) + 2 + 1);
 
   sprintf(window_title_string, "%s (%d %%) [%s]",
-         getProgramInitString(), setup.window_scaling_percent,
+         getProgramInitString(), video.window_scaling_percent,
          getCompileDateString());
 #else
   window_title_string = checked_malloc(strlen(getProgramInitString()) + 20);
 
   sprintf(window_title_string, "%s (%d %%)",
-         getProgramInitString(), setup.window_scaling_percent);
+         getProgramInitString(), video.window_scaling_percent);
 #endif
 
 #else