2022-02-15 22:10:51 +03:00
|
|
|
#import <HTML/HTMLElement.idl>
|
|
|
|
#import <DOM/Document.idl>
|
|
|
|
|
2022-10-08 01:45:09 +03:00
|
|
|
// https://html.spec.whatwg.org/multipage/iframe-embed-object.html#htmliframeelement
|
2023-09-02 16:09:33 +03:00
|
|
|
[Exposed=Window]
|
2020-07-27 07:04:26 +03:00
|
|
|
interface HTMLIFrameElement : HTMLElement {
|
|
|
|
|
2023-03-23 10:48:52 +03:00
|
|
|
[HTMLConstructor] constructor();
|
|
|
|
|
2023-03-01 04:45:18 +03:00
|
|
|
[CEReactions, Reflect] attribute DOMString src;
|
|
|
|
[CEReactions, Reflect] attribute DOMString srcdoc;
|
|
|
|
[CEReactions, Reflect] attribute DOMString name;
|
2023-10-25 18:26:24 +03:00
|
|
|
// FIXME: [SameObject, PutForwards=value] readonly attribute DOMTokenList sandbox;
|
2023-03-01 04:45:18 +03:00
|
|
|
[CEReactions, Reflect] attribute DOMString allow;
|
2023-10-25 18:26:24 +03:00
|
|
|
[CEReactions, Reflect=allowfullscreen] attribute boolean allowFullscreen;
|
2023-03-01 04:45:18 +03:00
|
|
|
[CEReactions, Reflect] attribute DOMString width;
|
|
|
|
[CEReactions, Reflect] attribute DOMString height;
|
2023-10-25 18:26:24 +03:00
|
|
|
// FIXME: [CEReactions] attribute DOMString referrerPolicy;
|
|
|
|
// FIXME: [CEReactions] attribute DOMString loading;
|
2022-02-15 01:05:31 +03:00
|
|
|
readonly attribute Document? contentDocument;
|
2022-11-04 12:05:10 +03:00
|
|
|
readonly attribute WindowProxy? contentWindow;
|
2023-10-25 18:26:24 +03:00
|
|
|
Document? getSVGDocument();
|
2022-08-04 21:13:52 +03:00
|
|
|
|
2023-10-25 18:26:24 +03:00
|
|
|
// Obsolete
|
2023-03-01 04:45:18 +03:00
|
|
|
[CEReactions, Reflect] attribute DOMString align;
|
|
|
|
[CEReactions, Reflect] attribute DOMString scrolling;
|
|
|
|
[CEReactions, Reflect=frameborder] attribute DOMString frameBorder;
|
2023-10-25 18:26:24 +03:00
|
|
|
// FIXME: [CEReactions] attribute USVString longDesc;
|
2020-11-12 07:16:41 +03:00
|
|
|
|
2023-03-01 04:45:18 +03:00
|
|
|
[CEReactions, LegacyNullToEmptyString, Reflect=marginheight] attribute DOMString marginHeight;
|
|
|
|
[CEReactions, LegacyNullToEmptyString, Reflect=marginwidth] attribute DOMString marginWidth;
|
2022-03-24 23:08:06 +03:00
|
|
|
|
2020-12-10 00:26:42 +03:00
|
|
|
};
|