- /** screen width in pixel (warning: this is the real screen width+height,
- * supertux is using a logical width+height and not this one)
- */
- int screenwidth;
- int screenheight;
- bool use_gl;
+ int profile;
+
+ // the width/height to be used to display the game in fullscreen
+ int fullscreen_width;
+ int fullscreen_height;
+
+ // the width/height of the window managers window
+ int window_width;
+ int window_height;
+
+ // the aspect ratio
+ int aspect_width;
+ int aspect_height;
+
+ float magnification;
+ bool stretch_to_window;