void wxWindowMGL::Init()
{
// First of all, make sure window manager is up and running. If it is
// not the case, initialize it in default display mode
if ( !g_winMng )
void wxWindowMGL::Init()
{
// First of all, make sure window manager is up and running. If it is
// not the case, initialize it in default display mode
if ( !g_winMng )