Extracted from Pike v8.0 release 182 as of 2016-03-26.

[Top]
GLUT

GLUT.glutChangeToMenuEntry() GLUT.glutCopyColormap() next

Method GLUT.glutChangeToSubMenu()

Method glutChangeToSubMenu: void glutChangeToSubMenu(int, string, int)