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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
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, :: GtkWrapMode
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
instance tune GtkTextView GtkWrapMode
:: 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
|
