diff -r b1bf4c93f7ce -r 947e2d53afc1 QTfrontend/ui/widget/mapContainer.h
--- a/QTfrontend/ui/widget/mapContainer.h	Sun May 01 12:36:59 2016 +0200
+++ b/QTfrontend/ui/widget/mapContainer.h	Sun May 01 14:32:47 2016 +0200
@@ -155,6 +155,7 @@
         QPushButton * btnLoadMap;
         QPushButton * btnEditMap;
         QPushButton * btnRandomize;
+        QPushButton * btnRandTheme;
         QString selectedTheme;
         QPushButton * btnSeed;
         bool m_master;