Searched refs:g_welcome_screen_content (Results 1 – 1 of 1) sorted by relevance
67 var g_welcome_screen_content = document.getElementById('welcome_screen_content'); variable128 g_welcome_screen_content.style.display = 'none';149 g_welcome_screen_content.style.display = 'block';