Searched refs:g_WelcomeScreen (Results 1 – 1 of 1) sorted by relevance
184 var g_WelcomeScreen = document.getElementById('welcome_screen'); variable186 g_WelcomeScreen.style.display = 'none';