GLUT_WINDOW_HEADER_HEIGHT should always have been GLUT_WINDOW_BORDER_HEIGHT.
[freeglut] / doc / progress.html
2001-07-27 Steve BakerAdded documents.