Source file ogtkEditProps.ml
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
open GtkSignal
open Gobject
open Data
let set = set
let get = get
let param = param
open GtkEditProps
open GtkEditProps
class virtual editable_sigs = object (self)
method private virtual connect :
'b. ('a,'b) GtkSignal.t -> callback:'b -> GtkSignal.id
method private virtual notify :
'b. ('a,'b) property -> callback:('b -> unit) -> GtkSignal.id
method changed = self#connect Editable.S.changed
method delete_text = self#connect Editable.S.delete_text
method insert_text = self#connect Editable.S.insert_text
end
class virtual entry_props = object
val virtual obj : _ obj
method set_text = set Entry.P.text obj
method set_visibility = set Entry.P.visibility obj
method set_max_length = set Entry.P.max_length obj
method set_activates_default = set Entry.P.activates_default obj
method set_has_frame = set Entry.P.has_frame obj
method set_invisible_char = set Entry.P.invisible_char obj
method set_width_chars = set Entry.P.width_chars obj
method set_xalign = set Entry.P.xalign obj
method set_overwrite_mode = set Entry.P.overwrite_mode obj
method set_primary_icon_activatable =
set Entry.P.primary_icon_activatable obj
method set_primary_icon_pixbuf = set Entry.P.primary_icon_pixbuf obj
method set_primary_icon_sensitive = set Entry.P.primary_icon_sensitive obj
method set_primary_icon_stock = set Entry.P.primary_icon_stock obj
method set_primary_icon_tooltip_markup =
set Entry.P.primary_icon_tooltip_markup obj
method set_primary_icon_tooltip_text =
set Entry.P.primary_icon_tooltip_text obj
method set_secondary_icon_activatable =
set Entry.P.secondary_icon_activatable obj
method set_secondary_icon_pixbuf = set Entry.P.secondary_icon_pixbuf obj
method set_secondary_icon_sensitive =
set Entry.P.secondary_icon_sensitive obj
method set_secondary_icon_stock = set Entry.P.secondary_icon_stock obj
method set_secondary_icon_tooltip_markup =
set Entry.P.secondary_icon_tooltip_markup obj
method set_secondary_icon_tooltip_text =
set Entry.P.secondary_icon_tooltip_text obj
method set_placeholder_text = set Entry.P.placeholder_text obj
method text = get Entry.P.text obj
method text_length = get Entry.P.text_length obj
method visibility = get Entry.P.visibility obj
method max_length = get Entry.P.max_length obj
method activates_default = get Entry.P.activates_default obj
method has_frame = get Entry.P.has_frame obj
method invisible_char = get Entry.P.invisible_char obj
method scroll_offset = get Entry.P.scroll_offset obj
method width_chars = get Entry.P.width_chars obj
method xalign = get Entry.P.xalign obj
method overwrite_mode = get Entry.P.overwrite_mode obj
method primary_icon_activatable = get Entry.P.primary_icon_activatable obj
method primary_icon_sensitive = get Entry.P.primary_icon_sensitive obj
method secondary_icon_activatable =
get Entry.P.secondary_icon_activatable obj
method secondary_icon_sensitive = get Entry.P.secondary_icon_sensitive obj
method placeholder_text = get Entry.P.placeholder_text obj
end
class virtual entry_sigs = object (self)
method private virtual connect :
'b. ('a,'b) GtkSignal.t -> callback:'b -> GtkSignal.id
method private virtual notify :
'b. ('a,'b) property -> callback:('b -> unit) -> GtkSignal.id
method activate = self#connect Entry.S.activate
method backspace = self#connect Entry.S.backspace
method copy_clipboard = self#connect Entry.S.copy_clipboard
method cut_clipboard = self#connect Entry.S.cut_clipboard
method delete_from_cursor = self#connect Entry.S.delete_from_cursor
method insert_at_cursor = self#connect Entry.S.insert_at_cursor
method move_cursor = self#connect Entry.S.move_cursor
method paste_clipboard = self#connect Entry.S.paste_clipboard
method toggle_overwrite = self#connect Entry.S.toggle_overwrite
method icon_press = self#connect Entry.S.icon_press
method icon_released = self#connect Entry.S.icon_released
method notify_text ~callback = self#notify Entry.P.text ~callback
method notify_text_length ~callback =
self#notify Entry.P.text_length ~callback
method notify_visibility ~callback =
self#notify Entry.P.visibility ~callback
method notify_max_length ~callback =
self#notify Entry.P.max_length ~callback
method notify_activates_default ~callback =
self#notify Entry.P.activates_default ~callback
method notify_has_frame ~callback = self#notify Entry.P.has_frame ~callback
method notify_invisible_char ~callback =
self#notify Entry.P.invisible_char ~callback
method notify_scroll_offset ~callback =
self#notify Entry.P.scroll_offset ~callback
method notify_width_chars ~callback =
self#notify Entry.P.width_chars ~callback
method notify_xalign ~callback = self#notify Entry.P.xalign ~callback
method notify_overwrite_mode ~callback =
self#notify Entry.P.overwrite_mode ~callback
method notify_primary_icon_activatable ~callback =
self#notify Entry.P.primary_icon_activatable ~callback
method notify_primary_icon_sensitive ~callback =
self#notify Entry.P.primary_icon_sensitive ~callback
method notify_secondary_icon_activatable ~callback =
self#notify Entry.P.secondary_icon_activatable ~callback
method notify_secondary_icon_sensitive ~callback =
self#notify Entry.P.secondary_icon_sensitive ~callback
method notify_placeholder_text ~callback =
self#notify Entry.P.placeholder_text ~callback
end
class virtual spin_button_props = object
val virtual obj : _ obj
method set_adjustment =
set {SpinButton.P.adjustment with conv=GData.conv_adjustment} obj
method set_rate = set SpinButton.P.climb_rate obj
method set_digits = set SpinButton.P.digits obj
method set_numeric = set SpinButton.P.numeric obj
method set_snap_to_ticks = set SpinButton.P.snap_to_ticks obj
method set_update_policy = set SpinButton.P.update_policy obj
method set_value = set SpinButton.P.value obj
method set_wrap = set SpinButton.P.wrap obj
method adjustment =
get {SpinButton.P.adjustment with conv=GData.conv_adjustment} obj
method rate = get SpinButton.P.climb_rate obj
method digits = get SpinButton.P.digits obj
method numeric = get SpinButton.P.numeric obj
method snap_to_ticks = get SpinButton.P.snap_to_ticks obj
method update_policy = get SpinButton.P.update_policy obj
method value = get SpinButton.P.value obj
method wrap = get SpinButton.P.wrap obj
end
class virtual spin_button_sigs = object (self)
method private virtual connect :
'b. ('a,'b) GtkSignal.t -> callback:'b -> GtkSignal.id
method private virtual notify :
'b. ('a,'b) property -> callback:('b -> unit) -> GtkSignal.id
method change_value = self#connect SpinButton.S.change_value
method input = self#connect SpinButton.S.input
method output = self#connect SpinButton.S.output
method value_changed = self#connect SpinButton.S.value_changed
method wrapped = self#connect SpinButton.S.wrapped
method notify_adjustment ~callback =
self#notify {SpinButton.P.adjustment with conv=GData.conv_adjustment} ~callback
method notify_rate ~callback =
self#notify SpinButton.P.climb_rate ~callback
method notify_digits ~callback = self#notify SpinButton.P.digits ~callback
method notify_numeric ~callback =
self#notify SpinButton.P.numeric ~callback
method notify_snap_to_ticks ~callback =
self#notify SpinButton.P.snap_to_ticks ~callback
method notify_update_policy ~callback =
self#notify SpinButton.P.update_policy ~callback
method notify_value ~callback = self#notify SpinButton.P.value ~callback
method notify_wrap ~callback = self#notify SpinButton.P.wrap ~callback
end
class virtual combo_props = object
val virtual obj : _ obj
method set_allow_empty = set Combo.P.allow_empty obj
method set_case_sensitive = set Combo.P.case_sensitive obj
method set_enable_arrow_keys = set Combo.P.enable_arrow_keys obj
method set_value_in_list = set Combo.P.value_in_list obj
method allow_empty = get Combo.P.allow_empty obj
method case_sensitive = get Combo.P.case_sensitive obj
method enable_arrow_keys = get Combo.P.enable_arrow_keys obj
method value_in_list = get Combo.P.value_in_list obj
end
class virtual combo_box_props = object
val virtual obj : _ obj
method set_active = set ComboBox.P.active obj
method set_add_tearoffs = set ComboBox.P.add_tearoffs obj
method set_focus_on_click = set ComboBox.P.focus_on_click obj
method set_entry_text_column = set ComboBox.P.entry_text_column obj
method set_has_entry = set ComboBox.P.has_entry obj
method set_has_frame = set ComboBox.P.has_frame obj
method set_wrap_width = set ComboBox.P.wrap_width obj
method active = get ComboBox.P.active obj
method add_tearoffs = get ComboBox.P.add_tearoffs obj
method focus_on_click = get ComboBox.P.focus_on_click obj
method entry_text_column = get ComboBox.P.entry_text_column obj
method has_entry = get ComboBox.P.has_entry obj
method has_frame = get ComboBox.P.has_frame obj
method wrap_width = get ComboBox.P.wrap_width obj
end
class virtual combo_box_sigs = object (self)
method private virtual connect :
'b. ('a,'b) GtkSignal.t -> callback:'b -> GtkSignal.id
method private virtual notify :
'b. ('a,'b) property -> callback:('b -> unit) -> GtkSignal.id
method changed = self#connect ComboBox.S.changed
method notify_active ~callback = self#notify ComboBox.P.active ~callback
method notify_add_tearoffs ~callback =
self#notify ComboBox.P.add_tearoffs ~callback
method notify_focus_on_click ~callback =
self#notify ComboBox.P.focus_on_click ~callback
method notify_entry_text_column ~callback =
self#notify ComboBox.P.entry_text_column ~callback
method notify_has_entry ~callback =
self#notify ComboBox.P.has_entry ~callback
method notify_has_frame ~callback =
self#notify ComboBox.P.has_frame ~callback
method notify_wrap_width ~callback =
self#notify ComboBox.P.wrap_width ~callback
end