fixes two cases of menu's not closing when they should:
[freeglut] / COPYING
2001-07-27 Steve BakerInitial revision