better to put code to check if menu should be deactivated in
[freeglut] / COPYING
2001-07-27 Steve BakerInitial revision