chore(frontend): update types (#990)

This commit is contained in:
Jakub Kołodziejczak
2022-12-04 22:22:35 +01:00
committed by GitHub
parent c8c285729c
commit f1879eda04
2 changed files with 3 additions and 3 deletions
@@ -24,7 +24,7 @@
export let script: Script
export let initialPath: string = ''
export let template: 'pgsql' | 'script' = 'script'
export let template: 'pgsql'| 'mysql' | 'script' = 'script'
export let initialArgs: Record<string, any> = {}
const langs: [string, SupportedLanguage][] = [
@@ -50,7 +50,7 @@
function initContent(
language: 'deno' | 'python3' | 'go' | 'bash',
kind: Script.kind,
template: 'pgsql' | 'script'
template: 'pgsql' | 'mysql' | 'script'
) {
script.content = initialCode(language, kind, template)
}
@@ -6,7 +6,7 @@
export let disabled: boolean = false
export let label: string
export let lang: SupportedLanguage | 'pgsql' | undefined = undefined
export let lang: SupportedLanguage | 'pgsql' | 'mysql' | undefined = undefined
export let icon: IconDefinition | undefined = undefined
export let iconColor: string | undefined = undefined
</script>