fixes two cases of menu's not closing when they should:
[freeglut] / src / x11 / fg_glutfont_definitions_x11.c
2012-03-11 Diederick Niehorsterand some more renames