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