X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fgameconfig.cpp;h=728b2b838f546937cc9764291a7c9cf4fbf9ad5e;hb=c8eb3938f7b08c5f91f42c1f8ad91e5567817a4d;hp=c717af56b78def4e6897490ac5e4d2a290da9c31;hpb=c686b6e6bc389edb08cef2215b0882b2b0ff4b4b;p=supertux.git

diff --git a/src/gameconfig.cpp b/src/gameconfig.cpp
index c717af56b..728b2b838 100644
--- a/src/gameconfig.cpp
+++ b/src/gameconfig.cpp
@@ -46,11 +46,16 @@ Config::Config()
   console_enabled = false;
   random_seed = 0;          // set by time(), by default (unless in config)
 
-  screenwidth = 800;
-  screenheight = 600;
-  
-  aspect_width  = 800;
-  aspect_height = 600;
+  window_width  = 800;
+  window_height = 600;
+
+  fullscreen_width  = 800;
+  fullscreen_height = 600;
+
+  magnification = 1.0f;
+
+  aspect_width  = 4;
+  aspect_height = 3;
 
   enable_script_debugger = false;
 
@@ -82,8 +87,13 @@ Config::load()
     config_video_lisp->get("video", video_string);
     video = get_video_system(video_string);
     config_video_lisp->get("vsync", try_vsync);
-    config_video_lisp->get("width", screenwidth);
-    config_video_lisp->get("height", screenheight);
+
+    config_video_lisp->get("fullscreen_width",  fullscreen_width);
+    config_video_lisp->get("fullscreen_height", fullscreen_height);
+
+    config_video_lisp->get("window_width",  window_width);
+    config_video_lisp->get("window_height", window_height);
+
     config_video_lisp->get("aspect_width",  aspect_width);
     config_video_lisp->get("aspect_height", aspect_height);
   }
@@ -120,10 +130,16 @@ Config::save()
   writer.write_bool("fullscreen", use_fullscreen);
   writer.write_string("video", get_video_string(video));
   writer.write_bool("vsync", try_vsync);
-  writer.write_int("width", screenwidth);
-  writer.write_int("height", screenheight);
-  writer.write_float("aspect_width",  aspect_width);
-  writer.write_float("aspect_height", aspect_height);
+
+  writer.write_int("fullscreen_width",  fullscreen_width);
+  writer.write_int("fullscreen_height", fullscreen_height);
+
+  writer.write_int("window_width",  window_width);
+  writer.write_int("window_height", window_height);
+
+  writer.write_int("aspect_width",  aspect_width);
+  writer.write_int("aspect_height", aspect_height);
+
   writer.end_list("video");
 
   writer.start_list("audio");