Searched refs:help_dialog (Results 1 – 1 of 1) sorted by relevance
226 var help_dialog = document.getElementById("help_dialog"); variable229 help_dialog.style.display = "block";233 if (event.target == help_dialog) {234 help_dialog.style.display = "none";239 help_dialog.style.display = "none";