summaryrefslogtreecommitdiff
path: root/src/Gtk/Widgets.dcl
blob: 233160c3d3088720f6a37c1e898e8fe397695b56 (plain) (blame)
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
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
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
	:: GType, :: GValue,
	:: GtkAlign, :: GtkButtonsType, :: GtkCSSClass, :: GtkDirection,
	:: GtkExpand, :: GtkFileChooserAction, :: GtkMargins, :: GtkMessageType,
	:: GtkModal, :: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize,
	:: GtkResponse, :: GtkScrollbarPolicy, :: GtkSensitivity, :: GtkShrink,
	:: GtkSpacing, :: GtkStylePriority, :: GtkText, :: GtkTitle, :: GtkWrapMode

class ptr a
where
	toPtr   :: !a -> Pointer
	fromPtr :: !Pointer -> a

:: GtkActionBar =: GtkActionBar Pointer
instance gtkWidget GtkActionBar

newActionBar :: GtkM GtkActionBar
packActionBar :: !GtkActionBar !GtkDirection !w -> GtkM w | gtkWidget w

:: GtkBox =: GtkBox Pointer
instance gtkWidget GtkBox
instance gtkContainer GtkBox
instance gtkOrientable GtkBox

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

instance tune GtkBox GtkSpacing

:: GtkButton =: GtkButton Pointer
instance gtkWidget GtkButton
instance ptr GtkButton

newButtonFromIconName :: !String -> GtkM GtkButton

:: GtkContainer =: GtkContainer Pointer

class gtkContainer a :: !a -> GtkContainer

instance gtkWidget GtkContainer
instance gtkContainer GtkContainer
instance ptr GtkContainer

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

:: GtkDialog =: GtkDialog Pointer

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)

:: GtkEntry =: GtkEntry Pointer
instance gtkWidget GtkEntry

newEntry :: GtkM GtkEntry
getText :: !GtkEntry -> GtkM String

instance tune GtkEntry GtkText

:: GtkFrame =: GtkFrame Pointer
instance gtkWidget GtkFrame
instance gtkContainer GtkFrame
instance ptr GtkFrame

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

:: GtkGrid =: GtkGrid Pointer
instance gtkWidget GtkGrid

newGrid :: GtkM GtkGrid
attachGrid :: !GtkGrid !(!Int,!Int) !(!Int,!Int) !w -> GtkM w | gtkWidget w

:: GtkLabel =: GtkLabel Pointer
instance gtkWidget GtkLabel

newLabel :: GtkM GtkLabel
instance tune GtkLabel GtkText

:: GtkListStore =: GtkListStore Pointer

newListStore :: ![GType] -> GtkM GtkListStore
clearListStore :: !GtkListStore -> GtkM GtkListStore
appendToListStore :: ![GValue] !GtkListStore -> GtkM GtkListStore
swapItems :: !Int !Int !GtkListStore -> GtkM Bool

:: GtkMenu =: GtkMenu Pointer
instance gtkWidget GtkMenu

newMenu :: GtkM GtkMenu

:: GtkMenuBar =: GtkMenuBar Pointer
instance gtkWidget GtkMenuBar

newMenuBar :: GtkM GtkMenuBar

:: GtkMenuItem =: GtkMenuItem Pointer

class gtkMenuItem a :: !a -> GtkMenuItem

instance gtkWidget GtkMenuItem
instance gtkMenuItem GtkMenuItem

newMenuItem :: !String -> GtkM GtkMenuItem
setSubMenu :: !mi !GtkMenu -> GtkM GtkMenu | gtkMenuItem mi

:: GtkCheckMenuItem =: GtkCheckMenuItem Pointer
instance gtkWidget GtkCheckMenuItem
instance gtkMenuItem GtkCheckMenuItem
instance ptr GtkCheckMenuItem

newCheckMenuItem :: !String -> GtkM GtkCheckMenuItem
isActive :: !GtkCheckMenuItem -> GtkM Bool
setActive :: !Bool !GtkCheckMenuItem -> GtkM GtkCheckMenuItem

:: GtkMenuShell =: GtkMenuShell Pointer
instance gtkWidget GtkMenuShell

class gtkMenuShell a :: !a -> GtkMenuShell
instance gtkMenuShell GtkMenu, GtkMenuBar, GtkMenuShell

appendToMenuShell :: !s !mi -> GtkM mi | gtkMenuShell s & gtkMenuItem mi

:: GtkOrientable =: GtkOrientable Pointer

class gtkOrientable a :: !a -> GtkOrientable

instance tune o GtkOrientation | gtkOrientable o

:: GtkPaned =: GtkPaned Pointer
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 =: GtkScrolledWindow Pointer
instance gtkWidget GtkScrolledWindow
instance gtkContainer GtkScrolledWindow

newScrolledWindow :: GtkM GtkScrolledWindow

instance tune GtkScrolledWindow (GtkScrollbarPolicy, GtkScrollbarPolicy)

:: GtkSeparator =: GtkSeparator Pointer
instance gtkWidget GtkSeparator
instance ptr GtkSeparator

newSeparator :: !GtkOrientation -> GtkM GtkSeparator

:: GtkSpinner =: GtkSpinner Pointer
instance gtkWidget GtkSpinner
instance ptr GtkSpinner

newSpinner :: GtkM GtkSpinner
startSpinner :: !GtkSpinner -> GtkM GtkSpinner
stopSpinner :: !GtkSpinner -> GtkM GtkSpinner

:: GtkTextBuffer =: GtkTextBuffer Pointer
instance ptr GtkTextBuffer

setText :: !String !GtkTextBuffer -> GtkM GtkTextBuffer
setMarkup :: !String !GtkTextBuffer -> GtkM GtkTextBuffer
insertAtCursor :: !String !GtkTextBuffer -> GtkM GtkTextBuffer

:: GtkTextView =: GtkTextView Pointer
instance gtkWidget GtkTextView
instance gtkContainer GtkTextView
instance ptr GtkTextView

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

instance tune GtkTextView GtkWrapMode

:: GtkTreeView =: GtkTreeView Pointer
instance gtkWidget GtkTreeView

newTreeView :: !GtkListStore -> GtkM GtkTreeView
appendColumnToTreeView :: !String !Int !GtkExpand !GtkTreeView -> GtkM GtkTreeView

addSelectionChangedHandler :: !(GtkM ()) !GtkTreeView -> GtkM GtkTreeView
getPathToSelection :: !GtkTreeView -> GtkM (Maybe [Int])
selectPath :: ![Int] !GtkTreeView -> GtkM Bool

:: GtkWidget =: GtkWidget Pointer

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

instance tune w GtkSensitivity | gtkWidget w
instance tune w (GtkAlign,GtkAlign) | gtkWidget w
instance tune w (GtkExpand,GtkExpand) | gtkWidget w

:: GtkWindow =: GtkWindow Pointer

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