Gradio PR Bot 5a2967e78a
chore: update versions (#9747)
Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
2024-10-21 19:28:58 -07:00
..
2024-10-08 22:17:17 -07:00
2024-10-21 19:28:58 -07:00
2024-10-08 22:17:17 -07:00
2024-10-21 19:28:58 -07:00
2023-10-31 04:46:02 +00:00

@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;