extern void fgPlatformInitialize( const char* displayName );\r
extern void fgPlatformDeinitialiseInputDevices ( void );\r
extern void fgPlatformCloseDisplay ( void );\r
+extern void fgPlatformDestroyContext ( SFG_PlatformDisplay pDisplay, SFG_WindowContextType MContext );\r
\r
\r
void fghParseCommandLineArguments ( int* pargc, char** argv, char **pDisplayName, char **pGeometry )\r
/* If there was a menu created, destroy the rendering context */\r
if( fgStructure.MenuContext )\r
{\r
-#if TARGET_HOST_POSIX_X11\r
- /* Note that the MVisualInfo is not owned by the MenuContext! */\r
- glXDestroyContext( fgDisplay.pDisplay.Display, fgStructure.MenuContext->MContext );\r
-#endif\r
+ fgPlatformDestroyContext (fgDisplay.pDisplay, fgStructure.MenuContext->MContext );\r
free( fgStructure.MenuContext );\r
fgStructure.MenuContext = NULL;\r
}\r