diff main/MainWindow.cpp @ 2067:c643094e4709

Use a slightly more compact dialog (esp on Mac)

--- 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();
     }
 }