mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-21 02:19:59 +08:00
b9afe93915
* rename eventSource_factory -> stream_factory + rename event_source -> steam * rename fetch_implementation -> fetch * rename fetch to _fetch due to global.fetch conflict * add changeset * format * format * format * format * fix --------- Co-authored-by: gradio-pr-bot <gradio-pr-bot@users.noreply.github.com> |
||
---|---|---|
.. | ||
shared | ||
CHANGELOG.md | ||
Dataframe.stories.svelte | ||
Example.svelte | ||
Index.svelte | ||
package.json | ||
README.md |
@gradio/dataframe
<script>
import { BaseDataFrame, BaseExample } from "@gradio/dataframe";
</script>
BaseDataFrame
export let datatype: Datatype | Datatype[];
export let label: string | null = null;
export let headers: Headers = [];
let values: (string | number)[][];
export let value: { data: Data; headers: Headers; metadata: Metadata } | null;
export let col_count: [number, "fixed" | "dynamic"];
export let row_count: [number, "fixed" | "dynamic"];
export let latex_delimiters: {
left: string;
right: string;
display: boolean;
}[];
export let editable = true;
export let wrap = false;
export let root: string;
export let i18n: I18nFormatter;
export let height = 500;
export let line_breaks = true;
export let column_widths: string[] = [];
BaseExample
export let gradio: Gradio;
export let value: (string | number)[][] | string;
export let type: "gallery" | "table";
export let selected = false;
export let index: number;