QTfrontend/gamecfgwidget.h
changeset 249 ff85fa029541
parent 184 f97a7a3dc8f6
child 311 b8905423f19f
--- a/QTfrontend/gamecfgwidget.h	Sat Nov 18 18:17:03 2006 +0000
+++ b/QTfrontend/gamecfgwidget.h	Sat Nov 18 23:48:24 2006 +0000
@@ -33,6 +33,8 @@
 	GameCFGWidget(QWidget* parent=0);
 	quint32 getGameFlags();
 	QString getCurrentSeed() const;
+	QString getCurrentMap() const;
+	QString getCurrentTheme() const;
 
 private slots: