From efdb6c6620e9ea7f5861efbef7d3462bf3c7bcd7 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Fri, 17 Sep 2021 19:10:19 +0200
Subject: Frontend color theme

---
 language-web/.eslintrc.js | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'language-web/.eslintrc.js')

diff --git a/language-web/.eslintrc.js b/language-web/.eslintrc.js
index bf421f9d..b4c83bb8 100644
--- a/language-web/.eslintrc.js
+++ b/language-web/.eslintrc.js
@@ -21,6 +21,9 @@ module.exports = {
     // propTypes are for runtime validation, but we rely on TypeScript for build-time validation:
     // https://github.com/yannickcr/eslint-plugin-react/issues/2275#issuecomment-492003857
     'react/prop-types': 'off',
+    // Make sure switches are exhaustive: https://stackoverflow.com/a/60166264
+    'default-case': 'off',
+    '@typescript-eslint/switch-exhaustiveness-check': 'error',
   },
   ignorePatterns: [
     '*.js',
-- 
cgit v1.2.3-70-g09d2