diff -r 372b25c6bdee -r 575dbd7b5f43 QTfrontend/gameuiconfig.h
--- a/QTfrontend/gameuiconfig.h	Wed May 15 18:30:59 2019 +0200
+++ b/QTfrontend/gameuiconfig.h	Wed May 15 17:47:56 2019 +0200
@@ -69,6 +69,8 @@
         bool isFrontendFullscreen() const;
         quint16 zoom();
         bool isHolidaySillinessEnabled() const;
+        int quickGameExperience() const;
+        void setQuickGameExperience(int exp);
         void resizeToConfigValues();
         quint32 stereoMode() const;
         void setValue(const QString & key, const QVariant & value);