File size: 903 Bytes
0bd62e5 |
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 |
# `@gradio/code`
```html
<script>
import { BaseCode, BaseCopy, BaseDownload, BaseWidget, BaseExample} from "gradio/code";
</script>
```
BaseCode
```javascript
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
```javascript
export let value: string;
```
BaseDownload
```javascript
export let value: string;
export let language: string;
```
BaseWidget
```javascript
export let value: string;
export let language: string;
```
BaseExample
```
export let value: string;
export let type: "gallery" | "table";
export let selected = false;
``` |