diff -r d3d39bbb05f2 -r e3f778c95d1c QTfrontend/mapContainer.h
--- a/QTfrontend/mapContainer.h	Tue Sep 14 21:07:06 2010 +0200
+++ b/QTfrontend/mapContainer.h	Tue Sep 14 22:13:59 2010 +0200
@@ -72,6 +72,9 @@
   void mapChanged(int index);
   void setRandomSeed();
   void setRandomTheme();
+  void setRandomMap();
+  void setRandomStatic();
+  void setRandomMission();
   void themeSelected(int currentRow);
   void addInfoToPreview(QPixmap image);
   void templateFilterChanged(int filter);
@@ -95,6 +98,7 @@
   QLabel *maze_size_label;
   QComboBox *maze_size_selection;
   MapGenerator mapgen;
+  int numMissions;
   int maze_size;
 
   void loadMap(int index);