diff options
Diffstat (limited to 'ext/js/dom/panel-element.js')
| -rw-r--r-- | ext/js/dom/panel-element.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/js/dom/panel-element.js b/ext/js/dom/panel-element.js index 314eb2fd..748c3a36 100644 --- a/ext/js/dom/panel-element.js +++ b/ext/js/dom/panel-element.js @@ -37,7 +37,7 @@ export class PanelElement extends EventDispatcher { this._mutationObserver = null; /** @type {boolean} */ this._visible = false; - /** @type {?number} */ + /** @type {?import('core').Timeout} */ this._closeTimer = null; } |