definition module Gtk.Widgets

from StdMaybe import :: Maybe

from System.FilePath import :: FilePath
from System._Pointer import :: Pointer

from Gtk.State import :: GtkM
from Gtk.Tune import class tune
from Gtk.Types import :: GtkCSSClass, :: GtkDirection, :: GtkExpand,
	:: GtkFileChooserAction, :: GtkLabel, :: GtkMargins, :: GtkModal,
	:: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize, :: GtkResponse,
	:: GtkShrink, :: GtkStylePriority

class ptr a
where
	toPtr   :: !a -> Pointer
	fromPtr :: !Pointer -> a

:: GtkBox
instance gtkWidget GtkBox
instance gtkContainer GtkBox

newBox :: !GtkOrientation !Int -> GtkM GtkBox
packBox :: !GtkBox !GtkDirection !GtkExpand !w -> GtkM w | gtkWidget w

:: GtkContainer

class gtkContainer a :: !a -> GtkContainer

instance gtkWidget GtkContainer
instance gtkContainer GtkContainer
instance ptr GtkContainer

addToContainer :: !c !w -> GtkM w | gtkWidget w & gtkContainer c

:: GtkDialog

class gtkDialog a :: !a -> GtkDialog

instance gtkWidget GtkDialog
instance gtkContainer GtkDialog
instance gtkDialog GtkDialog
instance ptr GtkDialog

instance tune d GtkModal | gtkDialog d

newDialog :: !GtkWindow -> GtkM GtkDialog
runDialog :: !d -> GtkM GtkResponse | gtkDialog d

getContentArea :: !d -> GtkBox | gtkDialog d

getFileWithDialog :: !GtkWindow !GtkFileChooserAction !(Maybe String) -> GtkM (Maybe FilePath)

:: GtkFrame
instance gtkWidget GtkFrame
instance gtkContainer GtkFrame

newFrame :: !GtkLabel !w -> GtkM GtkFrame | gtkWidget w
framed :: !GtkLabel !(GtkM w) -> GtkM (w, GtkFrame) | gtkWidget w

:: GtkMenu
instance gtkWidget GtkMenu

newMenu :: GtkM GtkMenu

:: GtkMenuBar
instance gtkWidget GtkMenuBar

newMenuBar :: GtkM GtkMenuBar

:: GtkMenuItem
instance gtkWidget GtkMenuItem

newMenuItem :: !String -> GtkM GtkMenuItem
setSubMenu :: !GtkMenuItem !GtkMenu -> GtkM GtkMenu

:: GtkMenuShell
instance gtkWidget GtkMenuShell

class gtkMenuShell a :: !a -> GtkMenuShell
instance gtkMenuShell GtkMenu, GtkMenuBar, GtkMenuShell

appendToMenuShell :: !s !GtkMenuItem -> GtkM GtkMenuItem | gtkMenuShell s

:: GtkPaned
instance gtkWidget GtkPaned
instance gtkContainer GtkPaned

newPaned :: !GtkOrientation !GtkPanedHandleWidth -> GtkM GtkPaned
packPane1 :: !GtkPaned !GtkResize !GtkShrink !w -> GtkM w | gtkWidget w
packPane2 :: !GtkPaned !GtkResize !GtkShrink !w -> GtkM w | gtkWidget w

:: GtkScrolledWindow
instance gtkWidget GtkScrolledWindow
instance gtkContainer GtkScrolledWindow

newScrolledWindow :: GtkM GtkScrolledWindow

:: GtkSpinner :== Pointer
instance gtkWidget GtkSpinner

newSpinner :: GtkM GtkSpinner
startSpinner :: !GtkSpinner -> GtkM GtkSpinner
stopSpinner :: !GtkSpinner -> GtkM GtkSpinner

:: GtkTextBuffer

insertAtCursor :: !String !GtkTextBuffer -> GtkM ()
setText :: !String !GtkTextBuffer -> GtkM ()

:: GtkTextView
instance gtkWidget GtkTextView
instance gtkContainer GtkTextView

newTextView :: GtkM GtkTextView
getTextBuffer :: !GtkTextView -> GtkTextBuffer

:: GtkWidget

class gtkWidget a :: !a -> GtkWidget

instance gtkWidget GtkWidget
instance ptr GtkWidget

show :: !w -> GtkM w | gtkWidget w
destroy :: !w -> GtkM () | gtkWidget w

addCSSClass :: !GtkCSSClass !w -> GtkM w | gtkWidget w
removeCSSClass :: !GtkCSSClass !w -> GtkM () | gtkWidget w
setMargins :: !GtkMargins !w -> GtkM w | gtkWidget w

:: GtkWindow
instance gtkWidget GtkWindow
instance gtkContainer GtkWindow

newPopup :: !String !(Maybe (Int,Int)) -> GtkM GtkWindow
newWindow :: !String !(Maybe (Int,Int)) -> GtkM GtkWindow
addCSSFromFile :: !GtkStylePriority !FilePath !GtkWindow -> GtkM Bool