diff options
Diffstat (limited to 'gui')
| -rw-r--r-- | gui/editgamedialog.cpp | 2 | ||||
| -rw-r--r-- | gui/launcher.cpp | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/gui/editgamedialog.cpp b/gui/editgamedialog.cpp index ac030d7678..4f3c1647a1 100644 --- a/gui/editgamedialog.cpp +++ b/gui/editgamedialog.cpp @@ -100,6 +100,8 @@ protected: EditGameDialog::EditGameDialog(const String &domain) : OptionsDialog(domain, "GameOptions") { + EngineMan.upgradeTargetIfNecessary(domain); + // Retrieve all game specific options. const Plugin *plugin = nullptr; // To allow for game domains without a gameid. diff --git a/gui/launcher.cpp b/gui/launcher.cpp index c8c2cc0583..a3151a0455 100644 --- a/gui/launcher.cpp +++ b/gui/launcher.cpp @@ -481,6 +481,8 @@ void LauncherDialog::loadGame(int item) { String target = _domains[item]; target.toLowercase(); + EngineMan.upgradeTargetIfNecessary(target); + // Look for the plugin const Plugin *plugin = nullptr; EngineMan.findTarget(target, &plugin); |