mirror of
https://github.com/gradio-app/gradio.git
synced 2024-11-27 01:40:20 +08:00
remove unused theme variable
This commit is contained in:
parent
88a186a449
commit
09e333c0e7
@ -1,6 +1,5 @@
|
||||
<script lang="ts">
|
||||
export let value: Array<string>;
|
||||
export let theme: string;
|
||||
</script>
|
||||
|
||||
<div class="overflow-y-auto h-64 border border-b-0 rounded-t-lg leading-tight">
|
||||
|
Loading…
Reference in New Issue
Block a user