1 module webkit2webextension.DOMHTMLPreElement; 2 3 private import webkit2webextension.DOMHTMLElement; 4 private import webkit2webextension.c.functions; 5 public import webkit2webextension.c.types; 6 7 8 /** */ 9 public class DOMHTMLPreElement : DOMHTMLElement 10 { 11 /** the main Gtk struct */ 12 protected WebKitDOMHTMLPreElement* webKitDOMHTMLPreElement; 13 14 /** Get the main Gtk struct */ 15 public WebKitDOMHTMLPreElement* getDOMHTMLPreElementStruct(bool transferOwnership = false) 16 { 17 if (transferOwnership) 18 ownedRef = false; 19 return webKitDOMHTMLPreElement; 20 } 21 22 /** the main Gtk struct as a void* */ 23 protected override void* getStruct() 24 { 25 return cast(void*)webKitDOMHTMLPreElement; 26 } 27 28 /** 29 * Sets our main struct and passes it to the parent class. 30 */ 31 public this (WebKitDOMHTMLPreElement* webKitDOMHTMLPreElement, bool ownedRef = false) 32 { 33 this.webKitDOMHTMLPreElement = webKitDOMHTMLPreElement; 34 super(cast(WebKitDOMHTMLElement*)webKitDOMHTMLPreElement, ownedRef); 35 } 36 37 38 /** */ 39 public static GType getType() 40 { 41 return webkit_dom_html_pre_element_get_type(); 42 } 43 44 /** 45 * 46 * 47 * Deprecated: Use JavaScriptCore API instead 48 * 49 * Returns: A #glong 50 */ 51 public glong getWidth() 52 { 53 return webkit_dom_html_pre_element_get_width(webKitDOMHTMLPreElement); 54 } 55 56 /** 57 * 58 * 59 * Deprecated: Use JavaScriptCore API instead 60 * 61 * Returns: A #gboolean 62 */ 63 public bool getWrap() 64 { 65 return webkit_dom_html_pre_element_get_wrap(webKitDOMHTMLPreElement) != 0; 66 } 67 68 /** 69 * 70 * 71 * Deprecated: Use JavaScriptCore API instead 72 * 73 * Params: 74 * value = A #glong 75 */ 76 public void setWidth(glong value) 77 { 78 webkit_dom_html_pre_element_set_width(webKitDOMHTMLPreElement, value); 79 } 80 81 /** 82 * 83 * 84 * Deprecated: Use JavaScriptCore API instead 85 * 86 * Params: 87 * value = A #gboolean 88 */ 89 public void setWrap(bool value) 90 { 91 webkit_dom_html_pre_element_set_wrap(webKitDOMHTMLPreElement, value); 92 } 93 }