1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/main.h	Tue Apr 07 11:16:56 2015 +0300
     1.3 @@ -0,0 +1,16 @@
     1.4 +#ifndef MAIN_H_
     1.5 +#define MAIN_H_
     1.6 +
     1.7 +/* functions defined by the various main_whatever frontends */
     1.8 +
     1.9 +void quit();
    1.10 +void swap_buffers();
    1.11 +void redisplay();
    1.12 +void fullscreen();
    1.13 +void windowed();
    1.14 +void move_window(int x, int y);
    1.15 +void window_position(int *xout, int *yout);
    1.16 +void resize_window(int x, int y);
    1.17 +void window_size(int *xout, int *yout);
    1.18 +
    1.19 +#endif	/* MAIN_H_ */