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