Index: Source/core/html/HTMLMarqueeElement.idl |
diff --git a/Source/core/html/HTMLMarqueeElement.idl b/Source/core/html/HTMLMarqueeElement.idl |
index bc21290aa9184c77cbc2b6396f8fe574b23e8987..410331544198699f9510d9fc838195a5367fa0d7 100644 |
--- a/Source/core/html/HTMLMarqueeElement.idl |
+++ b/Source/core/html/HTMLMarqueeElement.idl |
@@ -17,30 +17,34 @@ |
* Boston, MA 02110-1301, USA. |
*/ |
-interface HTMLMarqueeElement : HTMLElement { |
- [ImplementedInPrivateScript] void start(); |
- [ImplementedInPrivateScript] void stop(); |
+// https://html.spec.whatwg.org/#htmlmarqueeelement |
+interface HTMLMarqueeElement : HTMLElement { |
[ImplementedInPrivateScript, Reflect] attribute DOMString behavior; |
[ImplementedInPrivateScript, Reflect] attribute DOMString bgColor; |
[ImplementedInPrivateScript, Reflect] attribute DOMString direction; |
[ImplementedInPrivateScript, Reflect] attribute DOMString height; |
[ImplementedInPrivateScript, Reflect] attribute unsigned long hspace; |
[ImplementedInPrivateScript] attribute long loop; |
+ // FIXME: scrollAmount and scrollDelay should be unsigned long. |
[ImplementedInPrivateScript] attribute long scrollAmount; |
[ImplementedInPrivateScript] attribute long scrollDelay; |
[ImplementedInPrivateScript, Reflect] attribute boolean trueSpeed; |
[ImplementedInPrivateScript, Reflect] attribute unsigned long vspace; |
[ImplementedInPrivateScript, Reflect] attribute DOMString width; |
- [ImplementedInPrivateScript, OnlyExposedToPrivateScript] void createdCallback(); |
- [ImplementedInPrivateScript, OnlyExposedToPrivateScript] void attachedCallback(); |
- [ImplementedInPrivateScript, OnlyExposedToPrivateScript] void detachedCallback(); |
- [ImplementedInPrivateScript, OnlyExposedToPrivateScript] void attributeChangedCallback(DOMString name, DOMString oldValue, DOMString newValue); |
- |
// FIXME: Implement the following event handler attributes |
// https://bugs.webkit.org/show_bug.cgi?id=49788 |
// attribute EventHandler onbounce; |
// attribute EventHandler onfinish; |
// attribute EventHandler onstart; |
+ |
+ [ImplementedInPrivateScript] void start(); |
+ [ImplementedInPrivateScript] void stop(); |
+ |
+ // Private script APIs |
+ [ImplementedInPrivateScript, OnlyExposedToPrivateScript] void createdCallback(); |
+ [ImplementedInPrivateScript, OnlyExposedToPrivateScript] void attachedCallback(); |
+ [ImplementedInPrivateScript, OnlyExposedToPrivateScript] void detachedCallback(); |
+ [ImplementedInPrivateScript, OnlyExposedToPrivateScript] void attributeChangedCallback(DOMString name, DOMString oldValue, DOMString newValue); |
}; |