Go to the documentation of this file.
33 #define header_render_window_provider
35 #include "../api_display.h"
57 virtual int get_viewport_width()
const = 0;
60 virtual int get_viewport_height()
const = 0;
69 virtual void flip_buffers(
int interval=-1)
const = 0;
74 virtual void make_current()
const = 0;