QTfrontend/gameuiconfig.h
changeset 1487 b4cc59a6d50a
parent 1165 40eeae82e70b
child 1777 88674c291331
--- a/QTfrontend/gameuiconfig.h	Sun Nov 09 07:58:56 2008 +0000
+++ b/QTfrontend/gameuiconfig.h	Sun Nov 09 09:47:10 2008 +0000
@@ -39,6 +39,7 @@
 	bool isMusicEnabled();
 	bool isShowFPSEnabled();
 	bool isAltDamageEnabled();
+	bool appendDateTimeToRecordName();
 	quint8 timerInterval();
 	quint8 bitDepth();
 	QString netNick();