diff -r 84c73902f727 -r 53c66cb9f5bd file.h
--- a/file.h	Mon Oct 22 09:50:03 2007 +0000
+++ b/file.h	Mon Oct 22 09:50:03 2007 +0000
@@ -16,7 +16,9 @@
 QString browseDirectory (QWidget *parent=NULL, const QString &caption="");
 bool reallyWriteDirectory(const QString &dir);
 
-QString makeUniqueDir (bool &,QString);
+QString makeTmpDir (bool &ok, QString prefix);
+bool isInTmpDir (QString fn);
+QString makeUniqueDir (bool &ok, QString);
 void removeDir(QDir);
 void copyDir (QDir src,QDir dst);
 void makeSubDirs (const QString &);