satisfy linter

leanprover-community · Jul 25, 2024 · 1d57952 · 1d57952
1 parent 2ff1bf6
commit 1d57952
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/client/src/config/settings.ts b/client/src/config/settings.ts
@@ -1,6 +1,6 @@
 /* This file contains the default settings. */
 
-const isBrowserDefaultDark = () => window.matchMedia('(prefers-color-scheme: dark)').matches
+// const isBrowserDefaultDark = () => window.matchMedia('(prefers-color-scheme: dark)').matches
 
 const settings = {
   'saveInLocalStore': false,