mirror of
https://github.com/gradio-app/gradio.git
synced 2024-11-21 01:01:05 +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/code
<script>
import { BaseCode, BaseCopy, BaseDownload, BaseWidget, BaseExample} from "gradio/code";
</script>
BaseCode
export let class_names = "";
export let value = "";
export let dark_mode: boolean;
export let basic = true;
export let language: string;
export let lines = 5;
export let extensions: Extension[] = [];
export let use_tab = true;
export let readonly = false;
export let placeholder: string | HTMLElement | null | undefined = undefined;
BaseCopy
export let value: string;
BaseDownload
export let value: string;
export let language: string;
BaseWidget
export let value: string;
export let language: string;
BaseExample
export let value: string;
export let type: "gallery" | "table";
export let selected = false;