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
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
|
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 :: GtkButtonsType, :: GtkCSSClass, :: GtkDirection,
:: GtkExpand, :: GtkFileChooserAction, :: GtkLabel, :: GtkMargins,
:: GtkMessageType, :: GtkModal, :: GtkOrientation, :: GtkPanedHandleWidth,
:: GtkResize, :: GtkResponse, :: GtkShrink, :: GtkStylePriority,
:: GtkTitle, :: 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 gtkWindow 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
newMessageDialog :: !GtkWindow !GtkMessageType !GtkButtonsType !String -> GtkM GtkDialog
getFileWithDialog :: !GtkWindow !GtkFileChooserAction !(Maybe String) -> GtkM (Maybe FilePath)
:: GtkFrame
instance gtkWidget GtkFrame
instance gtkContainer GtkFrame
instance ptr 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
class gtkMenuItem a :: !a -> GtkMenuItem
instance gtkWidget GtkMenuItem
instance gtkMenuItem GtkMenuItem
newMenuItem :: !String -> GtkM GtkMenuItem
setSubMenu :: !mi !GtkMenu -> GtkM GtkMenu | gtkMenuItem mi
:: GtkCheckMenuItem
instance gtkWidget GtkCheckMenuItem
instance gtkMenuItem GtkCheckMenuItem
instance ptr GtkCheckMenuItem
newCheckMenuItem :: !String -> GtkM GtkCheckMenuItem
isActive :: !GtkCheckMenuItem -> GtkM Bool
setActive :: !Bool !GtkCheckMenuItem -> GtkM GtkCheckMenuItem
:: GtkMenuShell
instance gtkWidget GtkMenuShell
class gtkMenuShell a :: !a -> GtkMenuShell
instance gtkMenuShell GtkMenu, GtkMenuBar, GtkMenuShell
appendToMenuShell :: !s !mi -> GtkM mi | gtkMenuShell s & gtkMenuItem mi
:: 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
:: GtkSeparator
instance gtkWidget GtkSeparator
instance ptr GtkSeparator
newSeparator :: !GtkOrientation -> GtkM GtkSeparator
:: GtkSpinner
instance gtkWidget GtkSpinner
instance ptr GtkSpinner
newSpinner :: GtkM GtkSpinner
startSpinner :: !GtkSpinner -> GtkM GtkSpinner
stopSpinner :: !GtkSpinner -> GtkM GtkSpinner
:: GtkTextBuffer
instance ptr GtkTextBuffer
setText :: !String !GtkTextBuffer -> GtkM GtkTextBuffer
setMarkup :: !String !GtkTextBuffer -> GtkM GtkTextBuffer
insertAtCursor :: !String !GtkTextBuffer -> GtkM GtkTextBuffer
:: GtkTextView
instance gtkWidget GtkTextView
instance gtkContainer GtkTextView
instance ptr 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
hide :: !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
class gtkWindow a :: !a -> GtkWindow
instance gtkWidget GtkWindow
instance gtkContainer GtkWindow
instance gtkWindow GtkWindow
newPopup :: !(Maybe (Int,Int)) -> GtkM GtkWindow
newWindow :: !(Maybe (Int,Int)) -> GtkM GtkWindow
addCSSFromFile :: !GtkStylePriority !FilePath !GtkWindow -> GtkM Bool
instance tune w GtkTitle | gtkWindow w
|
