1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/app.h	Fri Jan 30 12:25:16 2015 +0200
     1.3 @@ -0,0 +1,27 @@
     1.4 +#ifndef APP_H_
     1.5 +#define APP_H_
     1.6 +
     1.7 +bool app_init();
     1.8 +void app_shutdown();
     1.9 +
    1.10 +void app_display();
    1.11 +void app_reshape(int x, int y);
    1.12 +void app_keyboard(int key, bool pressed, int x, int y);
    1.13 +void app_mouse_button(int bn, bool pressed, int x, int y);
    1.14 +void app_mouse_motion(int x, int y);
    1.15 +
    1.16 +/* provided by the frontend */
    1.17 +enum {
    1.18 +	MOD_SHIFT	= 1,
    1.19 +	MOD_ALT		= 2,
    1.20 +	MOD_CTRL	= 4
    1.21 +};
    1.22 +
    1.23 +void swap_buffers();
    1.24 +void redisplay();
    1.25 +void quit();
    1.26 +void get_window_size(int *xsz, int *ysz);
    1.27 +
    1.28 +unsigned int get_modifiers();
    1.29 +
    1.30 +#endif	// APP_H_