diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2023-11-27 19:33:01 -0500 |
|---|---|---|
| committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2023-11-27 19:33:01 -0500 |
| commit | 14d12f6ba20b837a04c638b935773f3120e194ff (patch) | |
| tree | dcd6b61d51ff39c97b60812b2bf3c8cd564347f8 /ext/js/display/option-toggle-hotkey-handler.js | |
| parent | d5b1217df3fe7480fc5f58fe194f5bbf73281094 (diff) | |
Update timer types and such
Diffstat (limited to 'ext/js/display/option-toggle-hotkey-handler.js')
| -rw-r--r-- | ext/js/display/option-toggle-hotkey-handler.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/js/display/option-toggle-hotkey-handler.js b/ext/js/display/option-toggle-hotkey-handler.js index 531e208d..edd7de5b 100644 --- a/ext/js/display/option-toggle-hotkey-handler.js +++ b/ext/js/display/option-toggle-hotkey-handler.js @@ -29,7 +29,7 @@ export class OptionToggleHotkeyHandler { this._display = display; /** @type {?import('./display-notification.js').DisplayNotification} */ this._notification = null; - /** @type {?number} */ + /** @type {?import('core').Timeout} */ this._notificationHideTimer = null; /** @type {number} */ this._notificationHideTimeout = 5000; |