Fix OMEdit crashes on close with animation window (#11693)

OpenModelica · Dec 7, 2023 · 62905fd · 62905fd
1 parent 901e52a
commit 62905fd
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/OMEdit/OMEditLIB/MainWindow.cpp b/OMEdit/OMEditLIB/MainWindow.cpp
@@ -3624,9 +3624,12 @@ void MainWindow::messagesTabBarClicked(int index)
  */
 void MainWindow::messagesDockWidgetVisibilityChanged(bool visible)
 {
-  mpMessagesTabWidget->setVisible(!visible);
-  if (!visible && MessagesWidget::instance()) {
-    mpMessagesTabWidget->setCurrentIndex(MessagesWidget::instance()->getMessagesTabWidget()->currentIndex());
+  // Avoid firing a paint event on the animation window when the main window is closing
+  if (MessagesWidget::instance()) {
+    mpMessagesTabWidget->setVisible(!visible);
+    if (!visible) {
+      mpMessagesTabWidget->setCurrentIndex(MessagesWidget::instance()->getMessagesTabWidget()->currentIndex());
+    }
   }
 }