()
| 1718 | let timeout = null; |
| 1719 | let ignoreEvents = false; |
| 1720 | const hide = () => { |
| 1721 | if (this.paused || this.settingsMenuOpen || this.disksMenuOpen) return; |
| 1722 | this.elements.menu.classList.add("ejs_menu_bar_hidden"); |
| 1723 | } |
| 1724 | |
| 1725 | const show = () => { |
| 1726 | clearTimeout(timeout); |