[PATCH] mouse.c: Ensure mouse does not get stuck after grab release.