diff -r fd22b6d474e7 -r 56831f466d1d QTfrontend/gameuiconfig.cpp
--- a/QTfrontend/gameuiconfig.cpp	Wed Jan 23 03:46:32 2019 +0100
+++ b/QTfrontend/gameuiconfig.cpp	Fri Jan 25 06:46:13 2019 +0100
@@ -441,6 +441,11 @@
     return Form->ui.pageOptions->CBFrontendFullscreen->isChecked();
 }
 
+bool GameUIConfig::isHolidaySillinessEnabled() const
+{
+    return value("misc/holidaySilliness", true).toBool();
+}
+
 bool GameUIConfig::isSoundEnabled()
 {
     return Form->ui.pageOptions->CBSound->isChecked();