()
| 221 | let activeMenuHdr = null; |
| 222 | |
| 223 | function cancelActiveMenu() { |
| 224 | if (activeMenu == null) return; |
| 225 | activeMenu.style.display = 'none'; |
| 226 | activeMenu = null; |
| 227 | activeMenuHdr = null; |
| 228 | } |
| 229 | |
| 230 | // Set click handlers on every menu header. |
| 231 | for (const menu of document.getElementsByClassName('submenu')) { |
no outgoing calls
no test coverage detected
searching dependent graphs…