First update editor widgets, then flush deleted objects away.

[divVerent]

Otherwise, deleting a platform triggers a use-after-free detected by ASan
in the code

  if (m_hovered_object && !m_hovered_object->is_valid()) {
    m_hovered_object = nullptr;
    m_object_tip = nullptr;
  }