1 module webkit2webextension.DOMHTMLMarqueeElement; 2 3 private import webkit2webextension.DOMHTMLElement; 4 private import webkit2webextension.c.functions; 5 public import webkit2webextension.c.types; 6 7 8 /** */ 9 public class DOMHTMLMarqueeElement : DOMHTMLElement 10 { 11 /** the main Gtk struct */ 12 protected WebKitDOMHTMLMarqueeElement* webKitDOMHTMLMarqueeElement; 13 14 /** Get the main Gtk struct */ 15 public WebKitDOMHTMLMarqueeElement* getDOMHTMLMarqueeElementStruct(bool transferOwnership = false) 16 { 17 if (transferOwnership) 18 ownedRef = false; 19 return webKitDOMHTMLMarqueeElement; 20 } 21 22 /** the main Gtk struct as a void* */ 23 protected override void* getStruct() 24 { 25 return cast(void*)webKitDOMHTMLMarqueeElement; 26 } 27 28 /** 29 * Sets our main struct and passes it to the parent class. 30 */ 31 public this (WebKitDOMHTMLMarqueeElement* webKitDOMHTMLMarqueeElement, bool ownedRef = false) 32 { 33 this.webKitDOMHTMLMarqueeElement = webKitDOMHTMLMarqueeElement; 34 super(cast(WebKitDOMHTMLElement*)webKitDOMHTMLMarqueeElement, ownedRef); 35 } 36 37 38 /** */ 39 public static GType getType() 40 { 41 return webkit_dom_html_marquee_element_get_type(); 42 } 43 44 /** 45 * 46 * 47 * Deprecated: Use JavaScriptCore API instead 48 */ 49 public void start() 50 { 51 webkit_dom_html_marquee_element_start(webKitDOMHTMLMarqueeElement); 52 } 53 54 /** 55 * 56 * 57 * Deprecated: Use JavaScriptCore API instead 58 */ 59 public void stop() 60 { 61 webkit_dom_html_marquee_element_stop(webKitDOMHTMLMarqueeElement); 62 } 63 }