# HG changeset patch
# User Chris Cannam
# Date 1209649059 0
# Node ID f88cb5bc51422f3437ed8e05cd2c46c51f05a91c
# Parent  f9b0867885651705bd5e739a001e69650b4c95ba
...

diff -r f9b086788565 -r f88cb5bc5142 main/main.cpp
--- a/main/main.cpp	Tue Apr 29 15:34:17 2008 +0000
+++ b/main/main.cpp	Thu May 01 13:37:39 2008 +0000
@@ -33,6 +33,7 @@
 #include <QSessionManager>
 #include <QDir>
 #include <QSplashScreen>
+#include <QTimer>
 
 #include <iostream>
 #include <signal.h>
@@ -242,6 +243,7 @@
     settings.beginGroup("Preferences");
     if (settings.value("show-splash", true).toBool()) {
         splash.show();
+        QTimer::singleShot(5000, &splash, SLOT(hide()));
         application.processEvents();
     }
     settings.endGroup();