Update types

yomidevs · Dec 16, 2023 · 9a61e3a · 9a61e3a
1 parent 51735f7
commit 9a61e3a
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/ext/js/display/display.js b/ext/js/display/display.js
@@ -139,12 +139,12 @@ export class Display extends EventDispatcher {
         this._contentScrollBodyElement = querySelectorNotNull(document, '#content-body');
         /** @type {ScrollElement} */
         this._windowScroll = new ScrollElement(this._contentScrollElement);
-        /** @type {HTMLButtonElement} */
-        this._closeButton = querySelectorNotNull(document, '#close-button');
-        /** @type {HTMLButtonElement} */
-        this._navigationPreviousButton = querySelectorNotNull(document, '#navigate-previous-button');
-        /** @type {HTMLButtonElement} */
-        this._navigationNextButton = querySelectorNotNull(document, '#navigate-next-button');
+        /** @type {?HTMLButtonElement} */
+        this._closeButton = document.querySelector('#close-button');
+        /** @type {?HTMLButtonElement} */
+        this._navigationPreviousButton = document.querySelector('#navigate-previous-button');
+        /** @type {?HTMLButtonElement} */
+        this._navigationNextButton = document.querySelector('#navigate-next-button');
         /** @type {?Frontend} */
         this._frontend = null;
         /** @type {?Promise<void>} */