GitLab

Removed the code that restores the original pointer shape when leaving an error box (NCErrorBox conditional in Wimp07:finisherror).

This option is no longer necessary now that the Wimp_Extend support
ensures that the pointer appears and disappears as the user expects.

Version 4.17. Tagged as 'Wimp-4_17'