Function toggleMenuVis

src/drivers/sdl/gui.cpp:3064–3077

}

void toggleMenuVis(void)
{
	if (menuTogglingEnabled)
	{
		if ( gtk_widget_get_visible(Menubar) )
		{
			gtk_widget_hide (Menubar);
		}
		else
		{
			gtk_widget_show (Menubar);
		}
	}
};

int GtkMouseData[3] = { 0, 0, 0 };