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 }