Dropdown seems to be more or less done in glut_ui...