widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #12961
[Merge] lp:~widelands-dev/widelands/unused_autospeed into lp:widelands
GunChleoc has proposed merging lp:~widelands-dev/widelands/unused_autospeed into lp:widelands.
Commit message:
Get rid of warnings about ai_training and auto_speed at startup
Requested reviews:
Widelands Developers (widelands-dev)
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/unused_autospeed/+merge/342495
--
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/unused_autospeed into lp:widelands.
=== modified file 'src/wlapplication.cc'
--- src/wlapplication.cc 2018-03-03 09:37:01 +0000
+++ src/wlapplication.cc 2018-04-02 05:35:29 +0000
@@ -727,6 +727,8 @@
// Without this the following config options get dropped by check_used().
// Profile needs support for a Syntax definition to solve this in a
// sensible way
+ s.get_bool("ai_training");
+ s.get_bool("auto_speed");
s.get_bool("fullscreen");
s.get_bool("animate_map_panning");
s.get_int("xres");
Follow ups