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

Co-authored-by: anotheruserofgithub <96748782+anotheruserofgithub@users.noreply.github.com>
OpenModelica · Dec 7, 2023 · f2dada8 · f2dada8
1 parent 0ca6420
commit f2dada8
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());
+    }
   }
 }