diff -r 190d6bb075c5 -r ed9676dc8cb4 QTfrontend/pageplayrecord.h
--- a/QTfrontend/pageplayrecord.h	Wed Sep 14 22:27:22 2011 +0200
+++ b/QTfrontend/pageplayrecord.h	Wed Sep 14 22:39:39 2011 +0200
@@ -39,6 +39,7 @@
     PagePlayDemo(QWidget* parent = 0);
 
     void FillFromDir(RecordType rectype);
+    bool isSave();
 
     QPushButton *BtnBack;
     QPushButton *BtnPlayDemo;