From 3ac72d40ef1384dd3f40d850003a7f8f4f30f6bd Mon Sep 17 00:00:00 2001
From: toasted-nutbread <toasted-nutbread@users.noreply.github.com>
Date: Mon, 18 Dec 2023 22:47:44 -0500
Subject: Fix welcome page not having certain elements (#379)

---
 ext/js/pages/settings/dictionary-controller.js | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'ext')

diff --git a/ext/js/pages/settings/dictionary-controller.js b/ext/js/pages/settings/dictionary-controller.js
index 63671feb..6e9522db 100644
--- a/ext/js/pages/settings/dictionary-controller.js
+++ b/ext/js/pages/settings/dictionary-controller.js
@@ -380,14 +380,14 @@ export class DictionaryController {
         this._databaseStateToken = null;
         /** @type {boolean} */
         this._checkingIntegrity = false;
-        /** @type {HTMLButtonElement} */
-        this._checkIntegrityButton = querySelectorNotNull(document, '#dictionary-check-integrity');
+        /** @type {?HTMLButtonElement} */
+        this._checkIntegrityButton = document.querySelector('#dictionary-check-integrity');
         /** @type {HTMLElement} */
         this._dictionaryEntryContainer = querySelectorNotNull(document, '#dictionary-list');
-        /** @type {HTMLElement} */
-        this._dictionaryInstallCountNode = querySelectorNotNull(document, '#dictionary-install-count');
-        /** @type {HTMLElement} */
-        this._dictionaryEnabledCountNode = querySelectorNotNull(document, '#dictionary-enabled-count');
+        /** @type {?HTMLElement} */
+        this._dictionaryInstallCountNode = document.querySelector('#dictionary-install-count');
+        /** @type {?HTMLElement} */
+        this._dictionaryEnabledCountNode = document.querySelector('#dictionary-enabled-count');
         /** @type {?NodeListOf<HTMLElement>} */
         this._noDictionariesInstalledWarnings = null;
         /** @type {?NodeListOf<HTMLElement>} */
-- 
cgit v1.2.3