Forked from
gmsh / gmsh
Source project has a limited visibility.
-
Christophe Geuzaine authored
fix crash (when deleting widget with focus and pending callback; make sure the tree gets the focus before we delete all the children)
Christophe Geuzaine authoredfix crash (when deleting widget with focus and pending callback; make sure the tree gets the focus before we delete all the children)