# HG changeset patch
# User Chris Cannam
# Date 1591189109 -3600
# Node ID 7bded75998740f91d83a0ad48b5d6016318fa278
# Parent  cf4e0f3c24064334fb3c5b986e041bb993f0d983
Debug tweak only

diff -r cf4e0f3c2406 -r 7bded7599874 framework/MainWindowBase.cpp
--- a/framework/MainWindowBase.cpp	Thu May 14 16:38:48 2020 +0100
+++ b/framework/MainWindowBase.cpp	Wed Jun 03 13:58:29 2020 +0100
@@ -375,7 +375,7 @@
 void
 MainWindowBase::emitHideSplash()
 {
-    SVDEBUG << "MainWindowBase: Hiding splash screen" << endl;
+    SVDEBUG << "MainWindowBase: Hiding splash screen (if not hidden already)" << endl;
     emit hideSplash(this);
 }