chore: fix some lints automatically (#8788)

* chore: fix some lints automatically

Fixed lints that were automatically fixable with `eslint --fix`.

* fix type

* workaround for empty interface lint
This commit is contained in:
Johann150 2022-06-10 07:36:55 +02:00 committed by GitHub
parent a683a7092d
commit 5e29528ad4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
58 changed files with 92 additions and 88 deletions

View file

@ -42,7 +42,7 @@ export const getBuiltinThemesRef = () => {
const builtinThemes = ref<Theme[]>([]);
getBuiltinThemes().then(themes => builtinThemes.value = themes);
return builtinThemes;
}
};
let timeout = null;