diff -r 372b25c6bdee -r 575dbd7b5f43 QTfrontend/gameuiconfig.cpp
--- a/QTfrontend/gameuiconfig.cpp	Wed May 15 18:30:59 2019 +0200
+++ b/QTfrontend/gameuiconfig.cpp	Wed May 15 17:47:56 2019 +0200
@@ -453,6 +453,16 @@
     return value("misc/holidaySilliness", true).toBool();
 }
 
+int GameUIConfig::quickGameExperience() const
+{
+    return value("misc/quickGameExperience", 0).toInt();
+}
+
+void GameUIConfig::setQuickGameExperience(int exp)
+{
+    setValue("misc/quickGameExperience", exp);
+}
+
 bool GameUIConfig::isSoundEnabled()
 {
     return Form->ui.pageOptions->CBSound->isChecked();