#if (defined(ghcjs_HOST_OS) && defined(USE_JAVASCRIPTFFI)) || !defined(USE_WEBKIT)
module GHCJS.DOM.HTMLDetailsElement
(ghcjs_dom_html_details_element_set_open,
htmlDetailsElementSetOpen, ghcjs_dom_html_details_element_get_open,
htmlDetailsElementGetOpen, HTMLDetailsElement,
IsHTMLDetailsElement, castToHTMLDetailsElement,
gTypeHTMLDetailsElement, toHTMLDetailsElement)
where
import GHCJS.Types
import GHCJS.Foreign
import GHCJS.Marshal
import Data.Int
import Data.Word
import GHCJS.DOM.Types
import Control.Applicative ((<$>))
import GHCJS.DOM.EventM
foreign import javascript unsafe "$1[\"open\"] = $2;"
ghcjs_dom_html_details_element_set_open ::
JSRef HTMLDetailsElement -> Bool -> IO ()
htmlDetailsElementSetOpen ::
(IsHTMLDetailsElement self) => self -> Bool -> IO ()
htmlDetailsElementSetOpen self val
= ghcjs_dom_html_details_element_set_open
(unHTMLDetailsElement (toHTMLDetailsElement self))
val
foreign import javascript unsafe "($1[\"open\"] ? 1 : 0)"
ghcjs_dom_html_details_element_get_open ::
JSRef HTMLDetailsElement -> IO Bool
htmlDetailsElementGetOpen ::
(IsHTMLDetailsElement self) => self -> IO Bool
htmlDetailsElementGetOpen self
= ghcjs_dom_html_details_element_get_open
(unHTMLDetailsElement (toHTMLDetailsElement self))
#else
module GHCJS.DOM.HTMLDetailsElement (
module Graphics.UI.Gtk.WebKit.DOM.HTMLDetailsElement
) where
import Graphics.UI.Gtk.WebKit.DOM.HTMLDetailsElement
#endif