message: [contour] guarding some Qt event handlers against unhandled exceptions.
diff: @@ -356,6 +356,8 @@ void TerminalWindow::initializeGL()
  }
  void TerminalWindow::resizeEvent(QResizeEvent* _event)
  +{
  + try
  {
  QOpenGLWindow::resizeEvent(_event);
  @@ -371,6 +373,11 @@ void TerminalWindow::resizeEvent(QResizeEvent* _event)
  setScreenDirty();
  }
  }
  + catch (std::exception const& e)
  + {
  + cerr << fmt::format("resizeEvent: Unhandled exception caught ({}). {}\n", typeid(e).name(), e.what());
  + }
  +}
  void TerminalWindow::paintGL()
  {
  @@ -538,6 +545,8 @@ void TerminalWindow::mouseReleaseEvent(QMouseEvent* _mouseRelease)
  }
  void TerminalWindow::mouseMoveEvent(QMouseEvent* _event)
  +{
  + try
  {
  now_ = chrono::steady_clock::now();
  @@ -556,6 +565,11 @@ void TerminalWindow::mouseMoveEvent(QMouseEvent* _event)
  update();
  }
  }
  + catch (std::exception const& e)
  + {
  + cerr << fmt::format("Unhandled exception caught ({}). {}\n", typeid(e).name(), e.what());
  + }
  +}
  void TerminalWindow::focusInEvent(QFocusEvent* _event) // TODO: paint with "normal" colors
  {
  