File size: 2,804 Bytes
a03b3ba |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 |
<script context="module" lang="ts">
export { default as BaseDataFrame } from "./shared/Table.svelte";
export { default as BaseExample } from "./Example.svelte";
</script>
<script lang="ts">
import { afterUpdate } from "svelte";
import type { Gradio, SelectData } from "@gradio/utils";
import { Block } from "@gradio/atoms";
import Table from "./shared/Table.svelte";
import { StatusTracker } from "@gradio/statustracker";
import type { LoadingStatus } from "@gradio/statustracker";
import type { Headers, Data, Metadata, Datatype } from "./shared/utils";
export let headers: Headers = [];
export let elem_id = "";
export let elem_classes: string[] = [];
export let visible = true;
export let value: { data: Data; headers: Headers; metadata: Metadata } = {
data: [["", "", ""]],
headers: ["1", "2", "3"],
metadata: null
};
let old_value: string = JSON.stringify(value);
export let value_is_output = false;
export let col_count: [number, "fixed" | "dynamic"];
export let row_count: [number, "fixed" | "dynamic"];
export let label: string | null = null;
export let wrap: boolean;
export let datatype: Datatype | Datatype[];
export let scale: number | null = null;
export let min_width: number | undefined = undefined;
export let root: string;
export let line_breaks = true;
export let column_widths: string[] = [];
export let gradio: Gradio<{
change: never;
select: SelectData;
input: never;
}>;
export let latex_delimiters: {
left: string;
right: string;
display: boolean;
}[];
export let height: number | undefined = undefined;
export let loading_status: LoadingStatus;
export let interactive: boolean;
function handle_change(): void {
gradio.dispatch("change");
if (!value_is_output) {
gradio.dispatch("input");
}
}
afterUpdate(() => {
value_is_output = false;
});
$: {
if (JSON.stringify(value) !== old_value) {
old_value = JSON.stringify(value);
handle_change();
}
}
if (
(Array.isArray(value) && value?.[0]?.length === 0) ||
value.data?.[0]?.length === 0
) {
value = {
data: [Array(col_count?.[0] || 3).fill("")],
headers: Array(col_count?.[0] || 3)
.fill("")
.map((_, i) => `${i + 1}`),
metadata: null
};
}
</script>
<Block
{visible}
padding={false}
{elem_id}
{elem_classes}
container={false}
{scale}
{min_width}
allow_overflow={false}
>
<StatusTracker
autoscroll={gradio.autoscroll}
i18n={gradio.i18n}
{...loading_status}
/>
<Table
{root}
{label}
{row_count}
{col_count}
{value}
{headers}
on:change={interactive ? (e) => (value = e.detail) : () => {}}
on:select={(e) => gradio.dispatch("select", e.detail)}
{wrap}
{datatype}
{latex_delimiters}
editable={interactive}
{height}
i18n={gradio.i18n}
{line_breaks}
{column_widths}
/>
</Block>
|