This file is indexed.

/usr/lib/ocaml/lablgtk2/ogtkMiscProps.ml is in liblablgtk2-ocaml-dev 2.18.5+dfsg-1build1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  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
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
open GtkSignal
open Gobject
open Data
let set = set
let get = get
let param = param
open GtkMiscProps

class virtual gtk_status_icon_props = object
  val virtual obj : _ obj
  method set_screen = set GtkStatusIcon.P.screen obj
  method set_visible = set GtkStatusIcon.P.visible obj
  method set_blinking = set GtkStatusIcon.P.blinking obj
  method screen = get GtkStatusIcon.P.screen obj
  method visible = get GtkStatusIcon.P.visible obj
  method blinking = get GtkStatusIcon.P.blinking obj
end

class virtual gtk_status_icon_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method screen = self#notify GtkStatusIcon.P.screen
  method visible = self#notify GtkStatusIcon.P.visible
  method blinking = self#notify GtkStatusIcon.P.blinking
end

class virtual gtk_status_icon_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 GtkStatusIcon.S.activate
  method popup_menu = self#connect GtkStatusIcon.S.popup_menu
  method size_changed = self#connect GtkStatusIcon.S.size_changed
  method notify_screen ~callback =
    self#notify GtkStatusIcon.P.screen ~callback
  method notify_visible ~callback =
    self#notify GtkStatusIcon.P.visible ~callback
  method notify_blinking ~callback =
    self#notify GtkStatusIcon.P.blinking ~callback
end

class virtual misc_props = object
  val virtual obj : _ obj
  method set_xalign = set Misc.P.xalign obj
  method set_yalign = set Misc.P.yalign obj
  method set_xpad = set Misc.P.xpad obj
  method set_ypad = set Misc.P.ypad obj
  method xalign = get Misc.P.xalign obj
  method yalign = get Misc.P.yalign obj
  method xpad = get Misc.P.xpad obj
  method ypad = get Misc.P.ypad obj
end

class virtual misc_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method xalign = self#notify Misc.P.xalign
  method yalign = self#notify Misc.P.yalign
  method xpad = self#notify Misc.P.xpad
  method ypad = self#notify Misc.P.ypad
end

class virtual label_props = object
  val virtual obj : _ obj
  method set_label = set Label.P.label obj
  method set_use_markup = set Label.P.use_markup obj
  method set_use_underline = set Label.P.use_underline obj
  method set_mnemonic_widget =
    set {Label.P.mnemonic_widget with conv=GObj.conv_widget_option} obj
  method set_justify = set Label.P.justify obj
  method set_line_wrap = set Label.P.wrap obj
  method set_pattern = set Label.P.pattern obj
  method set_selectable = set Label.P.selectable obj
  method set_angle = set Label.P.angle obj
  method set_ellipsize = set Label.P.ellipsize obj
  method set_max_width_chars = set Label.P.max_width_chars obj
  method set_single_line_mode = set Label.P.single_line_mode obj
  method set_width_chars = set Label.P.width_chars obj
  method label = get Label.P.label obj
  method use_markup = get Label.P.use_markup obj
  method use_underline = get Label.P.use_underline obj
  method mnemonic_keyval = get Label.P.mnemonic_keyval obj
  method mnemonic_widget =
    get {Label.P.mnemonic_widget with conv=GObj.conv_widget_option} obj
  method justify = get Label.P.justify obj
  method line_wrap = get Label.P.wrap obj
  method selectable = get Label.P.selectable obj
  method cursor_position = get Label.P.cursor_position obj
  method selection_bound = get Label.P.selection_bound obj
  method angle = get Label.P.angle obj
  method ellipsize = get Label.P.ellipsize obj
  method max_width_chars = get Label.P.max_width_chars obj
  method single_line_mode = get Label.P.single_line_mode obj
  method width_chars = get Label.P.width_chars obj
end

class virtual label_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method label = self#notify Label.P.label
  method use_markup = self#notify Label.P.use_markup
  method use_underline = self#notify Label.P.use_underline
  method mnemonic_keyval = self#notify Label.P.mnemonic_keyval
  method mnemonic_widget =
    self#notify {Label.P.mnemonic_widget with conv=GObj.conv_widget_option}
  method justify = self#notify Label.P.justify
  method line_wrap = self#notify Label.P.wrap
  method selectable = self#notify Label.P.selectable
  method cursor_position = self#notify Label.P.cursor_position
  method selection_bound = self#notify Label.P.selection_bound
  method angle = self#notify Label.P.angle
  method ellipsize = self#notify Label.P.ellipsize
  method max_width_chars = self#notify Label.P.max_width_chars
  method single_line_mode = self#notify Label.P.single_line_mode
  method width_chars = self#notify Label.P.width_chars
end

class virtual tips_query_props = object
  val virtual obj : _ obj
  method set_caller =
    set {TipsQuery.P.caller with conv=GObj.conv_widget_option} obj
  method set_emit_always = set TipsQuery.P.emit_always obj
  method set_label_inactive = set TipsQuery.P.label_inactive obj
  method set_label_no_tip = set TipsQuery.P.label_no_tip obj
  method caller =
    get {TipsQuery.P.caller with conv=GObj.conv_widget_option} obj
  method emit_always = get TipsQuery.P.emit_always obj
  method label_inactive = get TipsQuery.P.label_inactive obj
  method label_no_tip = get TipsQuery.P.label_no_tip obj
end

class virtual tips_query_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method caller =
    self#notify {TipsQuery.P.caller with conv=GObj.conv_widget_option}
  method emit_always = self#notify TipsQuery.P.emit_always
  method label_inactive = self#notify TipsQuery.P.label_inactive
  method label_no_tip = self#notify TipsQuery.P.label_no_tip
end

class virtual tips_query_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 start_query = self#connect TipsQuery.S.start_query
  method stop_query = self#connect TipsQuery.S.stop_query
  method widget_entered = self#connect
    {TipsQuery.S.widget_entered with marshaller = fun f ->
     marshal3 GObj.conv_widget_option string string
       "GtkTipsQuery::widget_entered"
       (fun x1 x2 x3 -> f x1 ~text:x2 ~privat:x3)}
  method widget_selected = self#connect
    {TipsQuery.S.widget_selected with marshaller = fun f ->
     marshal4_ret ~ret:boolean GObj.conv_widget_option string string
       (unsafe_pointer : GdkEvent.Button.t data_conv)
       "GtkTipsQuery::widget_selected"
       (fun x1 x2 x3 -> f x1 ~text:x2 ~privat:x3)}
  method notify_caller ~callback =
    self#notify {TipsQuery.P.caller with conv=GObj.conv_widget_option} ~callback
  method notify_emit_always ~callback =
    self#notify TipsQuery.P.emit_always ~callback
  method notify_label_inactive ~callback =
    self#notify TipsQuery.P.label_inactive ~callback
  method notify_label_no_tip ~callback =
    self#notify TipsQuery.P.label_no_tip ~callback
end

class virtual arrow_props = object
  val virtual obj : _ obj
  method set_kind = set Arrow.P.arrow_type obj
  method set_shadow = set Arrow.P.shadow_type obj
  method kind = get Arrow.P.arrow_type obj
  method shadow = get Arrow.P.shadow_type obj
end

class virtual arrow_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method kind = self#notify Arrow.P.arrow_type
  method shadow = self#notify Arrow.P.shadow_type
end

class virtual image_props = object
  val virtual obj : _ obj
  method set_file = set Image.P.file obj
  method set_image = set Image.P.image obj
  method set_pixbuf = set Image.P.pixbuf obj
  method set_pixel_size = set Image.P.pixel_size obj
  method set_mask = set Image.P.mask obj
  method set_stock = set Image.P.stock obj
  method set_icon_set = set Image.P.icon_set obj
  method set_icon_size = set Image.P.icon_size obj
  method image = get Image.P.image obj
  method pixbuf = get Image.P.pixbuf obj
  method pixel_size = get Image.P.pixel_size obj
  method mask = get Image.P.mask obj
  method stock = get Image.P.stock obj
  method icon_set = get Image.P.icon_set obj
  method icon_size = get Image.P.icon_size obj
  method storage_type = get Image.P.storage_type obj
end

class virtual image_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method image = self#notify Image.P.image
  method pixbuf = self#notify Image.P.pixbuf
  method pixel_size = self#notify Image.P.pixel_size
  method mask = self#notify Image.P.mask
  method stock = self#notify Image.P.stock
  method icon_set = self#notify Image.P.icon_set
  method icon_size = self#notify Image.P.icon_size
  method storage_type = self#notify Image.P.storage_type
end

class virtual color_selection_props = object
  val virtual obj : _ obj
  method set_alpha = set ColorSelection.P.current_alpha obj
  method set_color = set ColorSelection.P.current_color obj
  method set_has_opacity_control =
    set ColorSelection.P.has_opacity_control obj
  method set_has_palette = set ColorSelection.P.has_palette obj
  method alpha = get ColorSelection.P.current_alpha obj
  method color = get ColorSelection.P.current_color obj
  method has_opacity_control = get ColorSelection.P.has_opacity_control obj
  method has_palette = get ColorSelection.P.has_palette obj
end

class virtual color_selection_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method alpha = self#notify ColorSelection.P.current_alpha
  method color = self#notify ColorSelection.P.current_color
  method has_opacity_control =
    self#notify ColorSelection.P.has_opacity_control
  method has_palette = self#notify ColorSelection.P.has_palette
end

class virtual font_selection_props = object
  val virtual obj : _ obj
  method set_font_name = set FontSelection.P.font_name obj
  method set_preview_text = set FontSelection.P.preview_text obj
  method font_name = get FontSelection.P.font_name obj
  method preview_text = get FontSelection.P.preview_text obj
end

class virtual font_selection_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method font_name = self#notify FontSelection.P.font_name
  method preview_text = self#notify FontSelection.P.preview_text
end

class virtual calendar_props = object
  val virtual obj : _ obj
  method set_day = set Calendar.P.day obj
  method set_month = set Calendar.P.month obj
  method set_year = set Calendar.P.year obj
  method day = get Calendar.P.day obj
  method month = get Calendar.P.month obj
  method year = get Calendar.P.year obj
end

class virtual calendar_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method day = self#notify Calendar.P.day
  method month = self#notify Calendar.P.month
  method year = self#notify Calendar.P.year
end

class virtual calendar_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 day_selected = self#connect Calendar.S.day_selected
  method day_selected_double_click =
    self#connect Calendar.S.day_selected_double_click
  method month_changed = self#connect Calendar.S.month_changed
  method next_month = self#connect Calendar.S.next_month
  method next_year = self#connect Calendar.S.next_year
  method prev_month = self#connect Calendar.S.prev_month
  method prev_year = self#connect Calendar.S.prev_year
  method notify_day ~callback = self#notify Calendar.P.day ~callback
  method notify_month ~callback = self#notify Calendar.P.month ~callback
  method notify_year ~callback = self#notify Calendar.P.year ~callback
end

class virtual curve_props = object
  val virtual obj : _ obj
  method set_curve_type = set Curve.P.curve_type obj
  method set_max_x = set Curve.P.max_x obj
  method set_max_y = set Curve.P.max_y obj
  method set_min_x = set Curve.P.min_x obj
  method set_min_y = set Curve.P.min_y obj
  method curve_type = get Curve.P.curve_type obj
  method max_x = get Curve.P.max_x obj
  method max_y = get Curve.P.max_y obj
  method min_x = get Curve.P.min_x obj
  method min_y = get Curve.P.min_y obj
end

class virtual curve_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method curve_type = self#notify Curve.P.curve_type
  method max_x = self#notify Curve.P.max_x
  method max_y = self#notify Curve.P.max_y
  method min_x = self#notify Curve.P.min_x
  method min_y = self#notify Curve.P.min_y
end