10 extern int win_width, win_height;
13 void app_cleanup(void);
15 void app_display(void);
16 void app_reshape(int x, int y);
17 void app_keyboard(int key, int press);
18 void app_mouse(int bn, int press, int x, int y);
19 void app_motion(int x, int y);
22 void app_swap_buffers(void);