1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
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
|
