This file is indexed.

/usr/lib/ocaml/lablgtk2/ogtkBinProps.ml is in liblablgtk2-ocaml-dev 2.18.3+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
open GtkSignal
open Gobject
open Data
let set = set
let get = get
let param = param

open GtkPackProps

open GtkBinProps

class virtual alignment_props = object
  val virtual obj : _ obj
  method set_xalign = set Alignment.P.xalign obj
  method set_yalign = set Alignment.P.yalign obj
  method set_xscale = set Alignment.P.xscale obj
  method set_yscale = set Alignment.P.yscale obj
  method set_bottom_padding = set Alignment.P.bottom_padding obj
  method set_left_padding = set Alignment.P.left_padding obj
  method set_right_padding = set Alignment.P.right_padding obj
  method set_top_padding = set Alignment.P.top_padding obj
  method xalign = get Alignment.P.xalign obj
  method yalign = get Alignment.P.yalign obj
  method xscale = get Alignment.P.xscale obj
  method yscale = get Alignment.P.yscale obj
  method bottom_padding = get Alignment.P.bottom_padding obj
  method left_padding = get Alignment.P.left_padding obj
  method right_padding = get Alignment.P.right_padding obj
  method top_padding = get Alignment.P.top_padding obj
end

class virtual alignment_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 Alignment.P.xalign
  method yalign = self#notify Alignment.P.yalign
  method xscale = self#notify Alignment.P.xscale
  method yscale = self#notify Alignment.P.yscale
  method bottom_padding = self#notify Alignment.P.bottom_padding
  method left_padding = self#notify Alignment.P.left_padding
  method right_padding = self#notify Alignment.P.right_padding
  method top_padding = self#notify Alignment.P.top_padding
end

class virtual frame_props = object
  val virtual obj : _ obj
  method set_label = set Frame.P.label obj
  method set_label_widget =
    set {Frame.P.label_widget with conv=GObj.conv_widget_option} obj
  method set_label_xalign = set Frame.P.label_xalign obj
  method set_label_yalign = set Frame.P.label_yalign obj
  method set_shadow_type = set Frame.P.shadow_type obj
  method label = get Frame.P.label obj
  method label_widget =
    get {Frame.P.label_widget with conv=GObj.conv_widget_option} obj
  method label_xalign = get Frame.P.label_xalign obj
  method label_yalign = get Frame.P.label_yalign obj
  method shadow_type = get Frame.P.shadow_type obj
end

class virtual frame_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 Frame.P.label
  method label_widget =
    self#notify {Frame.P.label_widget with conv=GObj.conv_widget_option}
  method label_xalign = self#notify Frame.P.label_xalign
  method label_yalign = self#notify Frame.P.label_yalign
  method shadow_type = self#notify Frame.P.shadow_type
end

class virtual aspect_frame_props = object
  val virtual obj : _ obj
  method set_obey_child = set AspectFrame.P.obey_child obj
  method set_ratio = set AspectFrame.P.ratio obj
  method set_xalign = set AspectFrame.P.xalign obj
  method set_yalign = set AspectFrame.P.yalign obj
  method obey_child = get AspectFrame.P.obey_child obj
  method ratio = get AspectFrame.P.ratio obj
  method xalign = get AspectFrame.P.xalign obj
  method yalign = get AspectFrame.P.yalign obj
end

class virtual aspect_frame_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 obey_child = self#notify AspectFrame.P.obey_child
  method ratio = self#notify AspectFrame.P.ratio
  method xalign = self#notify AspectFrame.P.xalign
  method yalign = self#notify AspectFrame.P.yalign
end

class virtual handle_box_props = object
  val virtual obj : _ obj
  method set_handle_position = set HandleBox.P.handle_position obj
  method set_snap_edge = set HandleBox.P.snap_edge obj
  method set_shadow_type = set HandleBox.P.shadow_type obj
  method handle_position = get HandleBox.P.handle_position obj
  method snap_edge = get HandleBox.P.snap_edge obj
  method shadow_type = get HandleBox.P.shadow_type obj
end

class virtual handle_box_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 handle_position = self#notify HandleBox.P.handle_position
  method snap_edge = self#notify HandleBox.P.snap_edge
  method shadow_type = self#notify HandleBox.P.shadow_type
end

class virtual handle_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 child_attached = self#connect
    {HandleBox.S.child_attached with marshaller = fun f ->
     marshal1 GObj.conv_widget "GtkHandleBox::child_attached" f}
  method child_detached = self#connect
    {HandleBox.S.child_detached with marshaller = fun f ->
     marshal1 GObj.conv_widget "GtkHandleBox::child_detached" f}
  method notify_handle_position ~callback =
    self#notify HandleBox.P.handle_position ~callback
  method notify_snap_edge ~callback =
    self#notify HandleBox.P.snap_edge ~callback
  method notify_shadow_type ~callback =
    self#notify HandleBox.P.shadow_type ~callback
end

class virtual scrolled_window_props = object
  val virtual obj : _ obj
  method set_hadjustment =
    set {ScrolledWindow.P.hadjustment with conv=GData.conv_adjustment} obj
  method set_vadjustment =
    set {ScrolledWindow.P.vadjustment with conv=GData.conv_adjustment} obj
  method set_hpolicy = set ScrolledWindow.P.hscrollbar_policy obj
  method set_vpolicy = set ScrolledWindow.P.vscrollbar_policy obj
  method set_placement = set ScrolledWindow.P.window_placement obj
  method set_shadow_type = set ScrolledWindow.P.shadow_type obj
  method hadjustment =
    get {ScrolledWindow.P.hadjustment with conv=GData.conv_adjustment} obj
  method vadjustment =
    get {ScrolledWindow.P.vadjustment with conv=GData.conv_adjustment} obj
  method hpolicy = get ScrolledWindow.P.hscrollbar_policy obj
  method vpolicy = get ScrolledWindow.P.vscrollbar_policy obj
  method placement = get ScrolledWindow.P.window_placement obj
  method shadow_type = get ScrolledWindow.P.shadow_type obj
end

class virtual scrolled_window_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 hadjustment =
    self#notify {ScrolledWindow.P.hadjustment with conv=GData.conv_adjustment}
  method vadjustment =
    self#notify {ScrolledWindow.P.vadjustment with conv=GData.conv_adjustment}
  method hpolicy = self#notify ScrolledWindow.P.hscrollbar_policy
  method vpolicy = self#notify ScrolledWindow.P.vscrollbar_policy
  method placement = self#notify ScrolledWindow.P.window_placement
  method shadow_type = self#notify ScrolledWindow.P.shadow_type
end

class virtual viewport_props = object
  val virtual obj : _ obj
  method set_hadjustment =
    set {Viewport.P.hadjustment with conv=GData.conv_adjustment} obj
  method set_vadjustment =
    set {Viewport.P.vadjustment with conv=GData.conv_adjustment} obj
  method set_shadow_type = set Viewport.P.shadow_type obj
  method hadjustment =
    get {Viewport.P.hadjustment with conv=GData.conv_adjustment} obj
  method vadjustment =
    get {Viewport.P.vadjustment with conv=GData.conv_adjustment} obj
  method shadow_type = get Viewport.P.shadow_type obj
end

class virtual viewport_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 hadjustment =
    self#notify {Viewport.P.hadjustment with conv=GData.conv_adjustment}
  method vadjustment =
    self#notify {Viewport.P.vadjustment with conv=GData.conv_adjustment}
  method shadow_type = self#notify Viewport.P.shadow_type
end

class virtual expander_props = object
  val virtual obj : _ obj
  method set_expanded = set Expander.P.expanded obj
  method set_label = set Expander.P.label obj
  method set_label_widget =
    set {Expander.P.label_widget with conv=GObj.conv_widget} obj
  method set_spacing = set Expander.P.spacing obj
  method set_use_underline = set Expander.P.use_underline obj
  method expanded = get Expander.P.expanded obj
  method label = get Expander.P.label obj
  method label_widget =
    get {Expander.P.label_widget with conv=GObj.conv_widget} obj
  method spacing = get Expander.P.spacing obj
  method use_underline = get Expander.P.use_underline obj
end

class virtual expander_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 expanded = self#notify Expander.P.expanded
  method label = self#notify Expander.P.label
  method label_widget =
    self#notify {Expander.P.label_widget with conv=GObj.conv_widget}
  method spacing = self#notify Expander.P.spacing
  method use_underline = self#notify Expander.P.use_underline
end

class virtual expander_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 Expander.S.activate
  method notify_expanded ~callback =
    self#notify Expander.P.expanded ~callback
  method notify_label ~callback = self#notify Expander.P.label ~callback
  method notify_label_widget ~callback =
    self#notify {Expander.P.label_widget with conv=GObj.conv_widget} ~callback
  method notify_spacing ~callback = self#notify Expander.P.spacing ~callback
  method notify_use_underline ~callback =
    self#notify Expander.P.use_underline ~callback
end