0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Set the core_id preferences item at game launch.

Browse source 
The id of the used core is set and saved if given as a command line
interface.

This commit makes use of the new "core" command line option.
This commit is contained in:
Fabian Müller 2014-11-06 06:35:23 +01:00
parent c6e118f084
commit 632ce4aa44
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/game_launcher.cpp
View file

@ -139,6 +139,9 @@ game_launcher::game_launcher(const commandline_options& cmdline_opts, const char
const std::string app_basename = filesystem::base_name(appname);
jump_to_editor_ = app_basename.find("editor") != std::string::npos;
if (cmdline_opts_.core_id) {
preferences::set_core_id(*cmdline_opts_.core_id);
}
if (cmdline_opts_.campaign) {
jump_to_campaign_.jump_ = true;
jump_to_campaign_.campaign_id_ = *cmdline_opts_.campaign;