mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-08 12:37:37 +00:00
14 lines
582 B
Plaintext
14 lines
582 B
Plaintext
interface HTMLFrameElement : HTMLElement {
|
|
/* IID: { 0xa6cf90b9, 0x15b3, 0x11d2, \
|
|
{ 0x93, 0x2e, 0x00, 0x80, 0x5f, 0x8a, 0xdd, 0x32 } } */
|
|
|
|
attribute DOMString frameBorder;
|
|
attribute DOMString longDesc;
|
|
attribute DOMString marginHeight;
|
|
attribute DOMString marginWidth;
|
|
attribute DOMString name;
|
|
attribute boolean noResize;
|
|
attribute DOMString scrolling;
|
|
attribute DOMString src;
|
|
};
|