Please sign in to comment.
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
patch 8.0.1756: GUI: after prompting for a number the mouse shape is …
…wrong Problem: GUI: after prompting for a number the mouse shape is sometimes wrong. Solution: Call setmouse() after setting "State". (Hirohito Higashi, closes #2709)
- Loading branch information