()
| 56 | // ============================================================================ |
| 57 | |
| 58 | function closeMenu() { |
| 59 | if (currentMenu) { |
| 60 | currentMenu.remove(); |
| 61 | currentMenu = null; |
| 62 | } |
| 63 | } |
| 64 | |
| 65 | function showNavigationMenu(button, items, title) { |
| 66 | closeMenu(); |
no test coverage detected
searching dependent graphs…