better to put code to check if menu should be deactivated in
[freeglut] / progs / demos / smooth_opengl3 /
drwxr-xr-x   ..
-rwxr-xr-x 15148 smooth_opengl3.c