-
Notifications
You must be signed in to change notification settings - Fork 0
/
frame.ts
69 lines (67 loc) · 2.58 KB
/
frame.ts
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
/**
* @fileoverview
*
* This file was generated. Do not modify this file directly.
*/
import type { AnyProps, GlobalAttributes } from "./lib/mod.ts";
import { renderElement } from "./lib/mod.ts";
/**
* FrameElementProps are the props for the [`frame`](https://developer.mozilla.org/docs/Web/HTML/Element/frame) element.
* @see <https://developer.mozilla.org/docs/Web/HTML/Element/frame>
* @deprecated
*/
export interface FrameElementProps extends GlobalAttributes {
/**
* `frameborder` is an attribute of the [`frame`](https://developer.mozilla.org/docs/Web/HTML/Element/frame) element.
* @see <https://developer.mozilla.org/docs/Web/HTML/Element/frame#frameborder>
* @deprecated
*/
frameborder?: string | undefined;
/**
* `marginheight` is an attribute of the [`frame`](https://developer.mozilla.org/docs/Web/HTML/Element/frame) element.
* @see <https://developer.mozilla.org/docs/Web/HTML/Element/frame#marginheight>
* @deprecated
*/
marginheight?: string | undefined;
/**
* `marginwidth` is an attribute of the [`frame`](https://developer.mozilla.org/docs/Web/HTML/Element/frame) element.
* @see <https://developer.mozilla.org/docs/Web/HTML/Element/frame#marginwidth>
* @deprecated
*/
marginwidth?: string | undefined;
/**
* `name` is an attribute of the [`frame`](https://developer.mozilla.org/docs/Web/HTML/Element/frame) element.
* @see <https://developer.mozilla.org/docs/Web/HTML/Element/frame#name>
* @deprecated
*/
name?: string | undefined;
/**
* `noresize` is an attribute of the [`frame`](https://developer.mozilla.org/docs/Web/HTML/Element/frame) element.
* @see <https://developer.mozilla.org/docs/Web/HTML/Element/frame#noresize>
* @deprecated
*/
noresize?: string | undefined;
/**
* `scrolling` is an attribute of the [`frame`](https://developer.mozilla.org/docs/Web/HTML/Element/frame) element.
* @see <https://developer.mozilla.org/docs/Web/HTML/Element/frame#scrolling>
* @deprecated
*/
scrolling?: string | undefined;
/**
* `src` is an attribute of the [`frame`](https://developer.mozilla.org/docs/Web/HTML/Element/frame) element.
* @see <https://developer.mozilla.org/docs/Web/HTML/Element/frame#src>
* @deprecated
*/
src?: string | undefined;
}
/**
* frame renders the [`frame`](https://developer.mozilla.org/docs/Web/HTML/Element/frame) element.
* @see <https://developer.mozilla.org/docs/Web/HTML/Element/frame>
* @deprecated
*/
export function frame(
props?: FrameElementProps,
...children: string[]
): string {
return renderElement("frame", props as AnyProps, false, children);
}