Fix for restoring the mouse cursor after a gmsh run as observed by Tom.