QTfrontend/gameuiconfig.cpp
changeset 14982 575dbd7b5f43
parent 14761 7b2bd37d7503
child 15304 c4fd2813b127
child 15319 976b3ed9b1fd
--- 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();