1:- module(plGLUT_defs,
    2	  [
    3	   kGLUT_RGB/1,
    4	   kGLUT_RGBA/1,
    5	   kGLUT_INDEX/1,
    6	   kGLUT_SINGLE/1,
    7	   kGLUT_DOUBLE/1,
    8	   kGLUT_ACCUM/1,
    9	   kGLUT_ALPHA/1,
   10	   kGLUT_DEPTH/1,
   11	   kGLUT_STENCIL/1,
   12	   kGLUT_MULTISAMPLE/1,
   13	   kGLUT_STEREO/1,
   14	   kGLUT_LUMINANCE/1,
   15	   kGLUT_NO_RECOVERY/1,
   16	   kGLUT_LEFT_BUTTON/1,
   17	   kGLUT_MIDDLE_BUTTON/1,
   18	   kGLUT_RIGHT_BUTTON/1,
   19	   kGLUT_UP/1,
   20	   kGLUT_DOWN/1,
   21	   kGLUT_KEY_F1/1,
   22	   kGLUT_KEY_F2/1,
   23	   kGLUT_KEY_F3/1,
   24	   kGLUT_KEY_F4/1,
   25	   kGLUT_KEY_F5/1,
   26	   kGLUT_KEY_F6/1,
   27	   kGLUT_KEY_F7/1,
   28	   kGLUT_KEY_F8/1,
   29	   kGLUT_KEY_F9/1,
   30	   kGLUT_KEY_F10/1,
   31	   kGLUT_KEY_F11/1,
   32	   kGLUT_KEY_F12/1,
   33	   kGLUT_KEY_LEFT/1,
   34	   kGLUT_KEY_UP/1,
   35	   kGLUT_KEY_RIGHT/1,
   36	   kGLUT_KEY_DOWN/1,
   37	   kGLUT_KEY_PAGE_UP/1,
   38	   kGLUT_KEY_PAGE_DOWN/1,
   39	   kGLUT_KEY_HOME/1,
   40	   kGLUT_KEY_END/1,
   41	   kGLUT_KEY_INSERT/1,
   42	   kGLUT_LEFT/1,
   43	   kGLUT_ENTERED/1,
   44	   kGLUT_MENU_NOT_IN_USE/1,
   45	   kGLUT_MENU_IN_USE/1,
   46	   kGLUT_NOT_VISIBLE/1,
   47	   kGLUT_VISIBLE/1,
   48	   kGLUT_HIDDEN/1,
   49	   kGLUT_FULLY_RETAINED/1,
   50	   kGLUT_PARTIALLY_RETAINED/1,
   51	   kGLUT_FULLY_COVERED/1,
   52	   kGLUT_RED/1,
   53	   kGLUT_GREEN/1,
   54	   kGLUT_BLUE/1,
   55	   kGLUT_NORMAL/1,
   56	   kGLUT_OVERLAY/1,
   57	   kGLUT_WINDOW_X/1,
   58	   kGLUT_WINDOW_Y/1,
   59	   kGLUT_WINDOW_WIDTH/1,
   60	   kGLUT_WINDOW_HEIGHT/1,
   61	   kGLUT_WINDOW_BUFFER_SIZE/1,
   62	   kGLUT_WINDOW_STENCIL_SIZE/1,
   63	   kGLUT_WINDOW_DEPTH_SIZE/1,
   64	   kGLUT_WINDOW_RED_SIZE/1,
   65	   kGLUT_WINDOW_GREEN_SIZE/1,
   66	   kGLUT_WINDOW_BLUE_SIZE/1,
   67	   kGLUT_WINDOW_ALPHA_SIZE/1,
   68	   kGLUT_WINDOW_ACCUM_RED_SIZE/1,
   69	   kGLUT_WINDOW_ACCUM_GREEN_SIZE/1,
   70	   kGLUT_WINDOW_ACCUM_BLUE_SIZE/1,
   71	   kGLUT_WINDOW_ACCUM_ALPHA_SIZE/1,
   72	   kGLUT_WINDOW_DOUBLEBUFFER/1,
   73	   kGLUT_WINDOW_RGBA/1,
   74	   kGLUT_WINDOW_PARENT/1,
   75	   kGLUT_WINDOW_NUM_CHILDREN/1,
   76	   kGLUT_WINDOW_COLORMAP_SIZE/1,
   77	   kGLUT_WINDOW_NUM_SAMPLES/1,
   78	   kGLUT_WINDOW_STEREO/1,
   79	   kGLUT_WINDOW_CURSOR/1,
   80	   kGLUT_SCREEN_WIDTH/1,
   81	   kGLUT_SCREEN_HEIGHT/1,
   82	   kGLUT_SCREEN_WIDTH_MM/1,
   83	   kGLUT_SCREEN_HEIGHT_MM/1,
   84	   kGLUT_MENU_NUM_ITEMS/1,
   85	   kGLUT_DISPLAY_MODE_POSSIBLE/1,
   86	   kGLUT_INIT_WINDOW_X/1,
   87	   kGLUT_INIT_WINDOW_Y/1,
   88	   kGLUT_INIT_WINDOW_WIDTH/1,
   89	   kGLUT_INIT_WINDOW_HEIGHT/1,
   90	   kGLUT_INIT_DISPLAY_MODE/1,
   91	   kGLUT_ELAPSED_TIME/1,
   92	   kGLUT_WINDOW_FORMAT_ID/1,
   93	   kGLUT_HAS_KEYBOARD/1,
   94	   kGLUT_HAS_MOUSE/1,
   95	   kGLUT_HAS_SPACEBALL/1,
   96	   kGLUT_HAS_DIAL_AND_BUTTON_BOX/1,
   97	   kGLUT_HAS_TABLET/1,
   98	   kGLUT_NUM_MOUSE_BUTTONS/1,
   99	   kGLUT_NUM_SPACEBALL_BUTTONS/1,
  100	   kGLUT_NUM_BUTTON_BOX_BUTTONS/1,
  101	   kGLUT_NUM_DIALS/1,
  102	   kGLUT_NUM_TABLET_BUTTONS/1,
  103	   kGLUT_DEVICE_IGNORE_KEY_REPEAT/1,
  104	   kGLUT_DEVICE_KEY_REPEAT/1,
  105	   kGLUT_HAS_JOYSTICK/1,
  106	   kGLUT_OWNS_JOYSTICK/1,
  107	   kGLUT_JOYSTICK_BUTTONS/1,
  108	   kGLUT_JOYSTICK_AXES/1,
  109	   kGLUT_JOYSTICK_POLL_RATE/1,
  110	   kGLUT_OVERLAY_POSSIBLE/1,
  111	   kGLUT_LAYER_IN_USE/1,
  112	   kGLUT_HAS_OVERLAY/1,
  113	   kGLUT_TRANSPARENT_INDEX/1,
  114	   kGLUT_NORMAL_DAMAGED/1,
  115	   kGLUT_OVERLAY_DAMAGED/1,
  116	   kGLUT_VIDEO_RESIZE_POSSIBLE/1,
  117	   kGLUT_VIDEO_RESIZE_IN_USE/1,
  118	   kGLUT_VIDEO_RESIZE_X_DELTA/1,
  119	   kGLUT_VIDEO_RESIZE_Y_DELTA/1,
  120	   kGLUT_VIDEO_RESIZE_WIDTH_DELTA/1,
  121	   kGLUT_VIDEO_RESIZE_HEIGHT_DELTA/1,
  122	   kGLUT_VIDEO_RESIZE_X/1,
  123	   kGLUT_VIDEO_RESIZE_Y/1,
  124	   kGLUT_VIDEO_RESIZE_WIDTH/1,
  125	   kGLUT_VIDEO_RESIZE_HEIGHT/1,
  126	   kGLUT_ACTIVE_SHIFT/1,
  127	   kGLUT_ACTIVE_CTRL/1,
  128	   kGLUT_ACTIVE_ALT/1,
  129	   kGLUT_CURSOR_RIGHT_ARROW/1,
  130	   kGLUT_CURSOR_LEFT_ARROW/1,
  131	   kGLUT_CURSOR_INFO/1,
  132	   kGLUT_CURSOR_DESTROY/1,
  133	   kGLUT_CURSOR_HELP/1,
  134	   kGLUT_CURSOR_CYCLE/1,
  135	   kGLUT_CURSOR_SPRAY/1,
  136	   kGLUT_CURSOR_WAIT/1,
  137	   kGLUT_CURSOR_TEXT/1,
  138	   kGLUT_CURSOR_CROSSHAIR/1,
  139	   kGLUT_CURSOR_UP_DOWN/1,
  140	   kGLUT_CURSOR_LEFT_RIGHT/1,
  141	   kGLUT_CURSOR_TOP_SIDE/1,
  142	   kGLUT_CURSOR_BOTTOM_SIDE/1,
  143	   kGLUT_CURSOR_LEFT_SIDE/1,
  144	   kGLUT_CURSOR_RIGHT_SIDE/1,
  145	   kGLUT_CURSOR_TOP_LEFT_CORNER/1,
  146	   kGLUT_CURSOR_TOP_RIGHT_CORNER/1,
  147	   kGLUT_CURSOR_BOTTOM_RIGHT_CORNER/1,
  148	   kGLUT_CURSOR_BOTTOM_LEFT_CORNER/1,
  149	   kGLUT_CURSOR_INHERIT/1,
  150	   kGLUT_CURSOR_NONE/1,
  151	   kGLUT_CURSOR_FULL_CROSSHAIR/1
  152	  ]).  153
  154
  155
  156
  157
  158
  159
  160% Definitions from glut.h
  161
  162% Display mode bit mask
  163kGLUT_RGB(0).
  164kGLUT_RGBA(0).
  165kGLUT_INDEX(1).
  166kGLUT_SINGLE(0).
  167kGLUT_DOUBLE(2).
  168kGLUT_ACCUM(4).
  169kGLUT_ALPHA(8).
  170kGLUT_DEPTH(16).
  171kGLUT_STENCIL(32).
  172kGLUT_MULTISAMPLE(128).
  173kGLUT_STEREO(256).
  174kGLUT_LUMINANCE(512).
  175kGLUT_NO_RECOVERY(1024).
  176
  177
  178% Mouse Buttons
  179kGLUT_LEFT_BUTTON(0).
  180kGLUT_MIDDLE_BUTTON(1).
  181kGLUT_RIGHT_BUTTON(2).
  182
  183
  184% Mouse Button State
  185kGLUT_UP(0).
  186kGLUT_DOWN(1).
  187
  188
  189% Function Keys
  190kGLUT_KEY_F1(1).
  191kGLUT_KEY_F2(2).
  192kGLUT_KEY_F3(3).
  193kGLUT_KEY_F4(4).
  194kGLUT_KEY_F5(5).
  195kGLUT_KEY_F6(6).
  196kGLUT_KEY_F7(7).
  197kGLUT_KEY_F8(8).
  198kGLUT_KEY_F9(9).
  199kGLUT_KEY_F10(10).
  200kGLUT_KEY_F11(11).
  201kGLUT_KEY_F12(12).
  202kGLUT_KEY_LEFT(100).
  203kGLUT_KEY_UP(101).
  204kGLUT_KEY_RIGHT(102).
  205kGLUT_KEY_DOWN(103).
  206kGLUT_KEY_PAGE_UP(104).
  207kGLUT_KEY_PAGE_DOWN(105).
  208kGLUT_KEY_HOME(106).
  209kGLUT_KEY_END(107).
  210kGLUT_KEY_INSERT(108).
  211
  212% Entry/exit  state
  213kGLUT_LEFT(0).
  214kGLUT_ENTERED(1).
  215
  216% Menu usage  state
  217kGLUT_MENU_NOT_IN_USE(0).
  218kGLUT_MENU_IN_USE(1).
  219
  220% Visibility  state
  221kGLUT_NOT_VISIBLE(0).
  222kGLUT_VISIBLE(1).
  223
  224% Window status  state
  225kGLUT_HIDDEN(0).
  226kGLUT_FULLY_RETAINED(1).
  227kGLUT_PARTIALLY_RETAINED(2).
  228kGLUT_FULLY_COVERED(3).
  229
  230% Color index component selection values
  231kGLUT_RED(0).
  232kGLUT_GREEN(1).
  233kGLUT_BLUE(2).
  234
  235% Layers for use
  236kGLUT_NORMAL(0).
  237kGLUT_OVERLAY(1).
  238
  239% glutGet parameters
  240kGLUT_WINDOW_X(100).
  241kGLUT_WINDOW_Y(101).
  242kGLUT_WINDOW_WIDTH(102).
  243kGLUT_WINDOW_HEIGHT(103).
  244kGLUT_WINDOW_BUFFER_SIZE(104).
  245kGLUT_WINDOW_STENCIL_SIZE(105).
  246kGLUT_WINDOW_DEPTH_SIZE(106).
  247kGLUT_WINDOW_RED_SIZE(107).
  248kGLUT_WINDOW_GREEN_SIZE(108).
  249kGLUT_WINDOW_BLUE_SIZE(109).
  250kGLUT_WINDOW_ALPHA_SIZE(110).
  251kGLUT_WINDOW_ACCUM_RED_SIZE(111).
  252kGLUT_WINDOW_ACCUM_GREEN_SIZE(112).
  253kGLUT_WINDOW_ACCUM_BLUE_SIZE(113).
  254kGLUT_WINDOW_ACCUM_ALPHA_SIZE(114).
  255kGLUT_WINDOW_DOUBLEBUFFER(115).
  256kGLUT_WINDOW_RGBA(116).
  257kGLUT_WINDOW_PARENT(117).
  258kGLUT_WINDOW_NUM_CHILDREN(118).
  259kGLUT_WINDOW_COLORMAP_SIZE(119).
  260kGLUT_WINDOW_NUM_SAMPLES(120).
  261kGLUT_WINDOW_STEREO(121).
  262kGLUT_WINDOW_CURSOR(122).
  263kGLUT_SCREEN_WIDTH(200).
  264kGLUT_SCREEN_HEIGHT(201).
  265kGLUT_SCREEN_WIDTH_MM(202).
  266kGLUT_SCREEN_HEIGHT_MM(203).
  267kGLUT_MENU_NUM_ITEMS(300).
  268kGLUT_DISPLAY_MODE_POSSIBLE(400).
  269kGLUT_INIT_WINDOW_X(500).
  270kGLUT_INIT_WINDOW_Y(501).
  271kGLUT_INIT_WINDOW_WIDTH(502).
  272kGLUT_INIT_WINDOW_HEIGHT(503).
  273kGLUT_INIT_DISPLAY_MODE(504).
  274kGLUT_ELAPSED_TIME(700).
  275kGLUT_WINDOW_FORMAT_ID(123).
  276
  277
  278% glutDeviceGet parameters
  279kGLUT_HAS_KEYBOARD(600).
  280kGLUT_HAS_MOUSE(601).
  281kGLUT_HAS_SPACEBALL(602).
  282kGLUT_HAS_DIAL_AND_BUTTON_BOX(603).
  283kGLUT_HAS_TABLET(604).
  284kGLUT_NUM_MOUSE_BUTTONS(605).
  285kGLUT_NUM_SPACEBALL_BUTTONS(606).
  286kGLUT_NUM_BUTTON_BOX_BUTTONS(607).
  287kGLUT_NUM_DIALS(608).
  288kGLUT_NUM_TABLET_BUTTONS(609).
  289kGLUT_DEVICE_IGNORE_KEY_REPEAT(610).
  290kGLUT_DEVICE_KEY_REPEAT(611).
  291kGLUT_HAS_JOYSTICK(612).
  292kGLUT_OWNS_JOYSTICK(613).
  293kGLUT_JOYSTICK_BUTTONS(614).
  294kGLUT_JOYSTICK_AXES(615).
  295kGLUT_JOYSTICK_POLL_RATE(616).
  296
  297
  298% glutLayerGet parameters
  299kGLUT_OVERLAY_POSSIBLE(800).
  300kGLUT_LAYER_IN_USE(801).
  301kGLUT_HAS_OVERLAY(802).
  302kGLUT_TRANSPARENT_INDEX(803).
  303kGLUT_NORMAL_DAMAGED(804).
  304kGLUT_OVERLAY_DAMAGED(805).
  305
  306
  307% glutVideoResizeGet parameters
  308kGLUT_VIDEO_RESIZE_POSSIBLE(900).
  309kGLUT_VIDEO_RESIZE_IN_USE(901).
  310kGLUT_VIDEO_RESIZE_X_DELTA(902).
  311kGLUT_VIDEO_RESIZE_Y_DELTA(903).
  312kGLUT_VIDEO_RESIZE_WIDTH_DELTA(904).
  313kGLUT_VIDEO_RESIZE_HEIGHT_DELTA(905).
  314kGLUT_VIDEO_RESIZE_X(906).
  315kGLUT_VIDEO_RESIZE_Y(907).
  316kGLUT_VIDEO_RESIZE_WIDTH(908).
  317kGLUT_VIDEO_RESIZE_HEIGHT(909).
  318
  319
  320% glutGetModifiers return mask
  321kGLUT_ACTIVE_SHIFT(1).
  322kGLUT_ACTIVE_CTRL(2).
  323kGLUT_ACTIVE_ALT(4).
  324
  325% glutSetCursor parameters
  326% Basic arrows
  327kGLUT_CURSOR_RIGHT_ARROW(0).
  328kGLUT_CURSOR_LEFT_ARROW(1).
  329
  330% Symbolic cursor shapes
  331kGLUT_CURSOR_INFO(2).
  332kGLUT_CURSOR_DESTROY(3).
  333kGLUT_CURSOR_HELP(4).
  334kGLUT_CURSOR_CYCLE(5).
  335kGLUT_CURSOR_SPRAY(6).
  336kGLUT_CURSOR_WAIT(7).
  337kGLUT_CURSOR_TEXT(8).
  338kGLUT_CURSOR_CROSSHAIR(9).
  339
  340% Directional cursors
  341kGLUT_CURSOR_UP_DOWN(10).
  342kGLUT_CURSOR_LEFT_RIGHT(11).
  343
  344% Sizing cursors
  345kGLUT_CURSOR_TOP_SIDE(12).
  346kGLUT_CURSOR_BOTTOM_SIDE(13).
  347kGLUT_CURSOR_LEFT_SIDE(14).
  348kGLUT_CURSOR_RIGHT_SIDE(15).
  349kGLUT_CURSOR_TOP_LEFT_CORNER(16).
  350kGLUT_CURSOR_TOP_RIGHT_CORNER(17).
  351kGLUT_CURSOR_BOTTOM_RIGHT_CORNER(18).
  352kGLUT_CURSOR_BOTTOM_LEFT_CORNER(19).
  353
  354% Inherit from parent window
  355kGLUT_CURSOR_INHERIT(100).
  356
  357% Blank cursor
  358kGLUT_CURSOR_NONE(101).
  359
  360% Fullscreen crosshair (if available)
  361kGLUT_CURSOR_FULL_CROSSHAIR(102)