be more careful about closing menus when focus changes. Only do so when new focus...
[freeglut] / README.android
1
2   See http://freeglut.sourceforge.net/docs/android.php
3