--- a/QTfrontend/ui/widget/mapContainer.h Fri Feb 08 21:22:11 2013 -0500
+++ b/QTfrontend/ui/widget/mapContainer.h Sat Feb 09 15:26:10 2013 -0500
@@ -163,6 +163,7 @@
void updateThemeButtonSize();
MapModel::MapInfo m_mapInfo;
+ int m_themeID;
QString m_theme;
QString m_curMap;