# HG changeset patch
# User Chris Cannam
# Date 1541169768 0
# Node ID c643094e4709efb467124735b1fe1435ee4e42b3
# Parent  6e9a125ac5f323127030cbbdfb39ce0a3f74aae3
Use a slightly more compact dialog (esp on Mac)

diff -r 6e9a125ac5f3 -r c643094e4709 main/MainWindow.cpp
--- a/main/MainWindow.cpp	Fri Nov 02 14:38:49 2018 +0000
+++ b/main/MainWindow.cpp	Fri Nov 02 14:42:48 2018 +0000
@@ -4531,7 +4531,13 @@
     }
     if (warning != "") {
         emit hideSplash();
-        QMessageBox::warning(this, tr("Problems loading plugins"), warning);
+        QMessageBox box;
+        box.setWindowTitle(tr("Problems loading plugins"));
+        box.setText(tr("<b>Failed to load plugins</b>"));
+        box.setInformativeText(warning);
+        box.setIcon(QMessageBox::Warning);
+        box.setStandardButtons(QMessageBox::Ok);
+        box.exec();
     }
 }