webkit-0.13.0.0: Graphics/UI/Gtk/WebKit/DOM/Console.chs
module Graphics.UI.Gtk.WebKit.DOM.Console
(consoleTime, consoleGroupEnd, Console, ConsoleClass,
castToConsole, gTypeConsole, toConsole)
where
import System.Glib.FFI
import System.Glib.UTFString
import Control.Applicative
{#import Graphics.UI.Gtk.WebKit.Types#}
import System.Glib.GError
import Graphics.UI.Gtk.WebKit.DOM.EventM
consoleTime ::
(ConsoleClass self, GlibString string) => self -> string -> IO ()
consoleTime self title
= withUTFString title $
\ titlePtr ->
{# call webkit_dom_console_time #} (toConsole self) titlePtr
consoleGroupEnd :: (ConsoleClass self) => self -> IO ()
consoleGroupEnd self
= {# call webkit_dom_console_group_end #} (toConsole self)