diff -r 8fcc64446a97 -r b4cc59a6d50a QTfrontend/gameuiconfig.h
--- 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();