void VideoDone(void);
void RenderBackbuffer(void);
void ResizeScreen(uint32 width, uint32 height);
uint32 GetSDLScreenWidthInPixels(void);
void ToggleFullscreen(void);
void VideoDone(void);
void RenderBackbuffer(void);
void ResizeScreen(uint32 width, uint32 height);
uint32 GetSDLScreenWidthInPixels(void);
void ToggleFullscreen(void);