13 KEY_F2, KEY_F3, KEY_F4, KEY_F5, KEY_F6, KEY_F7, KEY_F8, KEY_F9, KEY_F10, KEY_F11, KEY_F12,
14 KEY_LEFT, KEY_RIGHT, KEY_UP, KEY_DOWN,
21 void demo_cleanup(void);
23 void demo_display(void);
24 void demo_reshape(int x, int y);
25 void demo_keyboard(int key, int pressed);
26 void demo_mouse(int bn, int pressed, int x, int y);
27 void demo_motion(int x, int y);
29 void swap_buffers(void);