#ifndef GUI_RENDERER_H #define GUI_RENDERER_H extern void gui_renderer_init(); extern void gui_renderer_submit(widget *widget); extern void gui_renderer_quit(); #endif // GUI_RENDERER_H