#if (defined(ghcjs_HOST_OS) && defined(USE_JAVASCRIPTFFI)) || !defined(USE_WEBKIT)
module GHCJS.DOM.HTMLPreElement
(ghcjs_dom_html_pre_element_set_width, htmlPreElementSetWidth,
ghcjs_dom_html_pre_element_get_width, htmlPreElementGetWidth,
ghcjs_dom_html_pre_element_set_wrap, htmlPreElementSetWrap,
ghcjs_dom_html_pre_element_get_wrap, htmlPreElementGetWrap,
HTMLPreElement, IsHTMLPreElement, castToHTMLPreElement,
gTypeHTMLPreElement, toHTMLPreElement)
where
import GHCJS.Types
import GHCJS.Foreign
import Data.Word
import GHCJS.DOM.Types
import Control.Applicative ((<$>))
import GHCJS.DOM.EventM
import GHCJS.Types
import GHCJS.Foreign
import Data.Word
import GHCJS.DOM.Types
import Control.Applicative ((<$>))
import GHCJS.DOM.EventM
#ifdef ghcjs_HOST_OS
foreign import javascript unsafe "$1[\"width\"] = $2;"
ghcjs_dom_html_pre_element_set_width ::
JSRef HTMLPreElement -> Int -> IO ()
#else
ghcjs_dom_html_pre_element_set_width ::
JSRef HTMLPreElement -> Int -> IO ()
ghcjs_dom_html_pre_element_set_width = undefined
#endif
htmlPreElementSetWidth ::
(IsHTMLPreElement self) => self -> Int -> IO ()
htmlPreElementSetWidth self val
= ghcjs_dom_html_pre_element_set_width
(unHTMLPreElement (toHTMLPreElement self))
val
#ifdef ghcjs_HOST_OS
foreign import javascript unsafe "$1[\"width\"]"
ghcjs_dom_html_pre_element_get_width ::
JSRef HTMLPreElement -> IO Int
#else
ghcjs_dom_html_pre_element_get_width ::
JSRef HTMLPreElement -> IO Int
ghcjs_dom_html_pre_element_get_width = undefined
#endif
htmlPreElementGetWidth :: (IsHTMLPreElement self) => self -> IO Int
htmlPreElementGetWidth self
= ghcjs_dom_html_pre_element_get_width
(unHTMLPreElement (toHTMLPreElement self))
#ifdef ghcjs_HOST_OS
foreign import javascript unsafe "$1[\"wrap\"] = $2;"
ghcjs_dom_html_pre_element_set_wrap ::
JSRef HTMLPreElement -> Bool -> IO ()
#else
ghcjs_dom_html_pre_element_set_wrap ::
JSRef HTMLPreElement -> Bool -> IO ()
ghcjs_dom_html_pre_element_set_wrap = undefined
#endif
htmlPreElementSetWrap ::
(IsHTMLPreElement self) => self -> Bool -> IO ()
htmlPreElementSetWrap self val
= ghcjs_dom_html_pre_element_set_wrap
(unHTMLPreElement (toHTMLPreElement self))
val
#ifdef ghcjs_HOST_OS
foreign import javascript unsafe "($1[\"wrap\"] ? 1 : 0)"
ghcjs_dom_html_pre_element_get_wrap ::
JSRef HTMLPreElement -> IO Bool
#else
ghcjs_dom_html_pre_element_get_wrap ::
JSRef HTMLPreElement -> IO Bool
ghcjs_dom_html_pre_element_get_wrap = undefined
#endif
htmlPreElementGetWrap :: (IsHTMLPreElement self) => self -> IO Bool
htmlPreElementGetWrap self
= ghcjs_dom_html_pre_element_get_wrap
(unHTMLPreElement (toHTMLPreElement self))
#else
module GHCJS.DOM.HTMLPreElement (
module Graphics.UI.Gtk.WebKit.DOM.HTMLPreElement
) where
import Graphics.UI.Gtk.WebKit.DOM.HTMLPreElement
#endif