2022-02-02 22:02:09 +08:00
|
|
|
<script lang="ts">
|
2022-03-08 21:35:42 +08:00
|
|
|
import { Checkbox } from "@gradio/form";
|
2022-03-12 00:00:48 +08:00
|
|
|
|
|
|
|
export let value: boolean = false;
|
2022-03-29 21:10:35 +08:00
|
|
|
export let default_value: boolean = false;
|
2022-04-08 01:18:41 +08:00
|
|
|
export let style: string = "";
|
2022-04-06 01:11:29 +08:00
|
|
|
export let label: string;
|
2022-03-12 00:00:48 +08:00
|
|
|
export let mode: "static" | "dynamic";
|
2022-03-24 21:08:13 +08:00
|
|
|
|
2022-03-29 21:10:35 +08:00
|
|
|
if (default_value) value = default_value;
|
2022-02-01 21:45:55 +08:00
|
|
|
</script>
|
|
|
|
|
2022-04-06 01:11:29 +08:00
|
|
|
<Checkbox {style} {label} bind:value on:change disabled={mode === "static"} />
|