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/js')
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