# HG changeset patch
# User Chris Cannam
# Date 1396459361 -3600
# Node ID 93cf23bfa1cba443d912716dcf6c20448b0b868d
# Parent  dd07d48d7d4f7d033299a9142e04718b86c0ef1d
Make session file extension parameterisable, use .ton for Tony

diff -r dd07d48d7d4f -r 93cf23bfa1cb framework/Document.cpp
--- a/framework/Document.cpp	Tue Apr 01 13:27:44 2014 +0100
+++ b/framework/Document.cpp	Wed Apr 02 18:22:41 2014 +0100
@@ -105,7 +105,6 @@
 
     emit mainModelChanged(0);
     delete m_mainModel;
-
 }
 
 Layer *
diff -r dd07d48d7d4f -r 93cf23bfa1cb framework/MainWindowBase.cpp
--- a/framework/MainWindowBase.cpp	Tue Apr 01 13:27:44 2014 +0100
+++ b/framework/MainWindowBase.cpp	Wed Apr 02 18:22:41 2014 +0100
@@ -45,6 +45,7 @@
 #include "widgets/MIDIFileImportDialog.h"
 #include "widgets/CSVFormatDialog.h"
 #include "widgets/ModelDataTableDialog.h"
+#include "widgets/InteractiveFileFinder.h"
 
 #include "audioio/AudioCallbackPlaySource.h"
 #include "audioio/AudioCallbackPlayTarget.h"
@@ -1635,7 +1636,10 @@
     if (!source.isAvailable()) return FileOpenFailed;
     source.waitForData();
 
-    if (source.getExtension().toLower() != "sv") {
+    QString sessionExt = 
+        InteractiveFileFinder::getInstance()->getApplicationSessionExtension();
+
+    if (source.getExtension().toLower() != sessionExt) {
 
         RDFImporter::RDFDocumentType rdfType = 
             RDFImporter::identifyDocumentType
@@ -1666,7 +1670,7 @@
     BZipFileDevice *bzFile = 0;
     QFile *rawFile = 0;
 
-    if (source.getExtension().toLower() == "sv") {
+    if (source.getExtension().toLower() == sessionExt) {
         bzFile = new BZipFileDevice(source.getLocalFilename());
         if (!bzFile->open(QIODevice::ReadOnly)) {
             delete bzFile;