()
| 400 | } |
| 401 | |
| 402 | function hideSkillFileSwitcher(): void { |
| 403 | const switcher = document.getElementById("modal-file-switcher"); |
| 404 | const fileButtonLabel = document.getElementById("modal-file-button-label"); |
| 405 | const menu = document.getElementById("modal-file-menu"); |
| 406 | const dropdown = document.getElementById("modal-file-dropdown"); |
| 407 | const fileButton = document.getElementById("modal-file-button"); |
| 408 | const fileToggle = document.getElementById("modal-file-toggle"); |
| 409 | |
| 410 | switcher?.classList.add("hidden"); |
| 411 | dropdown?.classList.remove("open"); |
| 412 | fileButton?.setAttribute("aria-expanded", "false"); |
| 413 | fileToggle?.setAttribute("aria-expanded", "false"); |
| 414 | if (fileButtonLabel) fileButtonLabel.textContent = ""; |
| 415 | if (menu) menu.innerHTML = ""; |
| 416 | } |
| 417 | |
| 418 | // Plugin data cache |
| 419 | interface PluginItem { |
no outgoing calls
no test coverage detected