6 KEY_F2, KEY_F3, KEY_F4, KEY_F5, KEY_F6, KEY_F7, KEY_F8, KEY_F9, KEY_F10, KEY_F11, KEY_F12,
7 KEY_LEFT, KEY_RIGHT, KEY_UP, KEY_DOWN,
14 void demo_cleanup(void);
16 void demo_display(void);
17 void demo_reshape(int x, int y);
18 void demo_keyboard(int key, int pressed);
19 void demo_mouse(int bn, int pressed, int x, int y);
20 void demo_motion(int x, int y);
22 void swap_buffers(void);