diff -r b44cc0d3ed4a -r b163492fda17 file.h
--- a/file.h	Mon Jul 30 09:47:07 2007 +0000
+++ b/file.h	Wed Nov 25 15:27:22 2009 +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 &);