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,
17 int win_width, win_height;
20 long start_time, stop_time;
21 long sys_time, time_msec;
24 unsigned int deftex_white, deftex_black, deftex_normal;
27 void demo_cleanup(void);
29 void demo_display(void);
30 void demo_reshape(int x, int y);
31 void demo_keyboard(int key, int pressed);
32 void demo_mouse(int bn, int pressed, int x, int y);
33 void demo_motion(int x, int y);
35 void swap_buffers(void);