mirror of
https://github.com/gradio-app/gradio.git
synced 2025-01-24 10:54:04 +08:00
2b6cbf2590
* rename * save patch * fix everything * format * rm file * fix stuff * tweaks * tweaks * tweaks * tweaks * tweaks * asd * asd * asd * asd * asd * asd * asd * fix * Fix scripts/run_lite.sh and scripts/build_lite.sh (#9170) * fixes * fixes * asd * asd * asd * review comments * fiux types * fiux types * make fileexpolorer public * format * lint * lint --------- Co-authored-by: Yuichiro Tachibana (Tsuchiya) <t.yic.yt@gmail.com> |
||
|---|---|---|
| .. | ||
| shared | ||
| CHANGELOG.md | ||
| Example.svelte | ||
| Index.svelte | ||
| package.json | ||
| README.md | ||
@gradio/html
import { BaseHTML } from "@gradio/html";
BaseHTML
export let elem_id = "";
export let elem_classes: string[] = [];
export let value: string;
export let visible = true;
export let min_height = false;