1/*
2 * This file is part of the WebKit open source project.
3 *
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Library General Public
6 * License as published by the Free Software Foundation; either
7 * version 2 of the License, or (at your option) any later version.
8 *
9 * This library is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Library General Public License for more details.
13 *
14 * You should have received a copy of the GNU Library General Public License
15 * along with this library; see the file COPYING.LIB. If not, write to
16 * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
17 * Boston, MA 02110-1301, USA.
18 */
19
20#if !defined(__WEBKITDOM_H_INSIDE__) && !defined(BUILDING_WEBKIT)
21#error "Only <webkitdom/webkitdom.h> can be included directly."
22#endif
23
24#ifndef WebKitDOMHTMLMenuElement_h
25#define WebKitDOMHTMLMenuElement_h
26
27#include <glib-object.h>
28#include <webkitdom/WebKitDOMHTMLElement.h>
29#include <webkitdom/webkitdomdefines.h>
30
31G_BEGIN_DECLS
32
33#define WEBKIT_DOM_TYPE_HTML_MENU_ELEMENT (webkit_dom_html_menu_element_get_type())
34#define WEBKIT_DOM_HTML_MENU_ELEMENT(obj) (G_TYPE_CHECK_INSTANCE_CAST((obj), WEBKIT_DOM_TYPE_HTML_MENU_ELEMENT, WebKitDOMHTMLMenuElement))
35#define WEBKIT_DOM_HTML_MENU_ELEMENT_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST((klass), WEBKIT_DOM_TYPE_HTML_MENU_ELEMENT, WebKitDOMHTMLMenuElementClass)
36#define WEBKIT_DOM_IS_HTML_MENU_ELEMENT(obj) (G_TYPE_CHECK_INSTANCE_TYPE((obj), WEBKIT_DOM_TYPE_HTML_MENU_ELEMENT))
37#define WEBKIT_DOM_IS_HTML_MENU_ELEMENT_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE((klass), WEBKIT_DOM_TYPE_HTML_MENU_ELEMENT))
38#define WEBKIT_DOM_HTML_MENU_ELEMENT_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS((obj), WEBKIT_DOM_TYPE_HTML_MENU_ELEMENT, WebKitDOMHTMLMenuElementClass))
39
40struct _WebKitDOMHTMLMenuElement {
41 WebKitDOMHTMLElement parent_instance;
42};
43
44struct _WebKitDOMHTMLMenuElementClass {
45 WebKitDOMHTMLElementClass parent_class;
46};
47
48WEBKIT_DEPRECATED GType
49webkit_dom_html_menu_element_get_type(void);
50
51/**
52 * webkit_dom_html_menu_element_get_compact:
53 * @self: A #WebKitDOMHTMLMenuElement
54 *
55 * Returns: A #gboolean
56 *
57 * Deprecated: 2.22: Use JavaScriptCore API instead
58**/
59WEBKIT_DEPRECATED gboolean
60webkit_dom_html_menu_element_get_compact(WebKitDOMHTMLMenuElement* self);
61
62/**
63 * webkit_dom_html_menu_element_set_compact:
64 * @self: A #WebKitDOMHTMLMenuElement
65 * @value: A #gboolean
66 *
67 *
68 * Deprecated: 2.22: Use JavaScriptCore API instead
69**/
70WEBKIT_DEPRECATED void
71webkit_dom_html_menu_element_set_compact(WebKitDOMHTMLMenuElement* self, gboolean value);
72
73G_END_DECLS
74
75#endif /* WebKitDOMHTMLMenuElement_h */
76