Files
wehub-resource-sync adf0d17497
publish / version_or_publish (push) Has been cancelled
storybook-build / changes (push) Has been cancelled
storybook-build / :storybook-build (push) Has been cancelled
Sync Gradio Skills to Hugging Face / sync-skills (push) Has been cancelled
functional / changes (push) Has been cancelled
functional / build-frontend (push) Has been cancelled
functional / functional-test-SSR=false (push) Has been cancelled
functional / functional-reload (push) Has been cancelled
js / changes (push) Has been cancelled
js / js-test (push) Has been cancelled
docs-build / changes (push) Has been cancelled
docs-build / docs-build (push) Has been cancelled
docs-build / website-build (push) Has been cancelled
functional / functional-test-SSR=true (push) Has been cancelled
hygiene / hygiene-test (push) Has been cancelled
python / changes (push) Has been cancelled
python / build (push) Has been cancelled
python / test-ubuntu-latest-flaky (push) Has been cancelled
python / test-ubuntu-latest-not-flaky (push) Has been cancelled
python / test-windows-latest-flaky (push) Has been cancelled
python / test-windows-latest-not-flaky (push) Has been cancelled
chore: import upstream snapshot with attribution
2026-07-13 13:17:32 +08:00

20 lines
527 B
TypeScript

import type { ILoadingStatus as LoadingStatus } from "js/statustracker";
import type { CustomButton } from "@gradio/utils";
export interface JSONProps {
value: any;
open: boolean;
show_indices: boolean;
height: number | string | undefined;
min_height: number | string | undefined;
max_height: number | string | undefined;
theme_mode: "system" | "light" | "dark";
buttons: (string | CustomButton)[];
}
export interface JSONEvents {
change: never;
clear_status: LoadingStatus;
custom_button_click: { id: number };
}