* Remembers the current visual settings, so that\r
* we can change them and restore later...\r
*/\r
-static void fgPlatformRememberState( void )\r
+void fgPlatformRememberState( void )\r
{\r
int event_base, error_base;\r
\r
/*\r
* Restores the previously remembered visual settings\r
*/\r
-static void fgPlatformRestoreState( void )\r
+void fgPlatformRestoreState( void )\r
{\r
/* Restore the remembered pointer position: */\r
XWarpPointer(\r
/*\r
* Changes the current display mode to match user's settings\r
*/\r
-static GLboolean fgPlatformChangeDisplayMode( GLboolean haveToTest )\r
+GLboolean fgPlatformChangeDisplayMode( GLboolean haveToTest )\r
{\r
GLboolean success = GL_FALSE;\r
/* first try to use XRandR, then fallback to XF86VidMode */\r