Fix lint issues

ekzhang · Apr 6, 2024 · ec88c64 · ec88c64
1 parent 62d3407
commit ec88c64
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/lib/ui/Settings.svelte b/src/lib/ui/Settings.svelte
@@ -16,7 +16,7 @@
   }
 
   let selectedTheme: ThemeName; // Bound to the settings input.
-  if (themes.hasOwnProperty($settings.theme)) {
+  if (Object.hasOwn(themes, $settings.theme)) {
     selectedTheme = $settings.theme;
   } else {
     selectedTheme = defaultTheme;

diff --git a/src/lib/ui/XTerm.svelte b/src/lib/ui/XTerm.svelte
@@ -67,7 +67,7 @@
   export let termEl: HTMLDivElement = null as any; // suppress "missing prop" warning
   let term: Terminal | null = null;
 
-  $: theme = themes.hasOwnProperty($settings.theme)
+  $: theme = Object.hasOwn(themes, $settings.theme)
     ? themes[$settings.theme]
     : themes[defaultTheme];