GLUT_WINDOW_HEADER_HEIGHT should always have been GLUT_WINDOW_BORDER_HEIGHT.
[freeglut] / src / x11 / fg_spaceball_x11.c
2012-03-11 Diederick Niehorsterand some more renames