definition module Gtk.Widgets

from StdMaybe import :: Maybe

from System._Pointer import :: Pointer

from Gtk.State import :: State, :: StateT, :: Identity, :: GtkState, :: GtkM
from Gtk.Types import :: GtkDirection, :: GtkExpand, :: GtkLabel,
	:: GtkMargins, :: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize,
	:: GtkShrink

class ptr a :: !a -> Pointer

:: GtkWidget

class gtkWidget a :: !a -> GtkWidget

instance gtkWidget GtkWidget
instance ptr GtkWidget

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

:: GtkContainer

class gtkContainer a :: !a -> GtkContainer

instance gtkWidget GtkContainer
instance gtkContainer GtkContainer

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

:: GtkBox
instance gtkWidget GtkBox
instance gtkContainer GtkBox

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

:: GtkFrame
instance gtkWidget GtkFrame
instance gtkContainer GtkFrame

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

:: GtkPaned
instance gtkWidget GtkPaned
instance gtkContainer GtkPaned

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

:: GtkTextBuffer

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

:: GtkTextView
instance gtkWidget GtkTextView
instance gtkContainer GtkTextView

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

:: GtkWindow
instance gtkWidget GtkWindow
instance gtkContainer GtkWindow

newPopup :: !String !(Maybe (Int,Int)) -> GtkM GtkWindow
newWindow :: !String !(Maybe (Int,Int)) -> GtkM GtkWindow