--- a/QTfrontend/mapContainer.h	Wed Oct 08 15:42:09 2008 +0000
+++ b/QTfrontend/mapContainer.h	Wed Oct 08 15:53:23 2008 +0000
@@ -59,6 +59,7 @@
   void setImage(const QImage newImage);
   void mapChanged(int index);
   void setRandomSeed();
+  void setRandomTheme();
   void themeSelected(int currentRow);
 
  protected: