definition module Gtk.Widgets

from StdMaybe import :: Maybe

from System._Pointer import :: Pointer

from Gtk.State import :: State, :: StateT, :: Identity, :: GtkState
from Gtk.Types import :: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize,
	:: GtkShrink

class ptr a :: !a -> Pointer

:: GtkWidget

class gtkWidget a :: !a -> GtkWidget

instance gtkWidget GtkWidget
instance ptr GtkWidget

:: GtkContainer

class gtkContainer a :: !a -> GtkContainer

instance gtkWidget GtkContainer
instance gtkContainer GtkContainer

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

:: GtkPaned
instance gtkWidget GtkPaned
instance gtkContainer GtkPaned

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

:: GtkTextBuffer

insertAtCursor :: !String !GtkTextBuffer -> State GtkState ()

:: GtkTextView
instance gtkWidget GtkTextView
instance gtkContainer GtkTextView

newTextView :: State GtkState GtkTextView
getTextBuffer :: !GtkTextView -> GtkTextBuffer

:: GtkWindow
instance gtkWidget GtkWindow
instance gtkContainer GtkWindow

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