This file is indexed.

/usr/lib/ocaml/lablgtk2/ogtkButtonProps.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
open GtkSignal
open Gobject
open Data
let set = set
let get = get
let param = param

open GtkButtonProps

open GtkButtonProps

class virtual button_props = object
  val virtual obj : _ obj
  method set_focus_on_click = set Button.P.focus_on_click obj
  method set_image = set {Button.P.image with conv=GObj.conv_widget} obj
  method set_image_position = set Button.P.image_position obj
  method set_label = set Button.P.label obj
  method set_use_stock = set Button.P.use_stock obj
  method set_use_underline = set Button.P.use_underline obj
  method set_relief = set Button.P.relief obj
  method set_xalign = set Button.P.xalign obj
  method set_yalign = set Button.P.yalign obj
  method focus_on_click = get Button.P.focus_on_click obj
  method image = get {Button.P.image with conv=GObj.conv_widget} obj
  method image_position = get Button.P.image_position obj
  method label = get Button.P.label obj
  method use_stock = get Button.P.use_stock obj
  method use_underline = get Button.P.use_underline obj
  method relief = get Button.P.relief obj
  method xalign = get Button.P.xalign obj
  method yalign = get Button.P.yalign obj
end

class virtual button_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 focus_on_click = self#notify Button.P.focus_on_click
  method image = self#notify {Button.P.image with conv=GObj.conv_widget}
  method image_position = self#notify Button.P.image_position
  method label = self#notify Button.P.label
  method use_stock = self#notify Button.P.use_stock
  method use_underline = self#notify Button.P.use_underline
  method relief = self#notify Button.P.relief
  method xalign = self#notify Button.P.xalign
  method yalign = self#notify Button.P.yalign
end

class virtual 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 clicked = self#connect Button.S.clicked
  method enter = self#connect Button.S.enter
  method leave = self#connect Button.S.leave
  method pressed = self#connect Button.S.pressed
  method released = self#connect Button.S.released
  method notify_focus_on_click ~callback =
    self#notify Button.P.focus_on_click ~callback
  method notify_image ~callback =
    self#notify {Button.P.image with conv=GObj.conv_widget} ~callback
  method notify_image_position ~callback =
    self#notify Button.P.image_position ~callback
  method notify_label ~callback = self#notify Button.P.label ~callback
  method notify_use_stock ~callback =
    self#notify Button.P.use_stock ~callback
  method notify_use_underline ~callback =
    self#notify Button.P.use_underline ~callback
  method notify_relief ~callback = self#notify Button.P.relief ~callback
  method notify_xalign ~callback = self#notify Button.P.xalign ~callback
  method notify_yalign ~callback = self#notify Button.P.yalign ~callback
end

class virtual color_button_props = object
  val virtual obj : _ obj
  method set_alpha = set ColorButton.P.alpha obj
  method set_color = set ColorButton.P.color obj
  method set_title = set ColorButton.P.title obj
  method set_use_alpha = set ColorButton.P.use_alpha obj
  method alpha = get ColorButton.P.alpha obj
  method color = get ColorButton.P.color obj
  method title = get ColorButton.P.title obj
  method use_alpha = get ColorButton.P.use_alpha obj
end

class virtual color_button_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 ColorButton.P.alpha
  method color = self#notify ColorButton.P.color
  method title = self#notify ColorButton.P.title
  method use_alpha = self#notify ColorButton.P.use_alpha
end

class virtual font_button_props = object
  val virtual obj : _ obj
  method set_font_name = set FontButton.P.font_name obj
  method set_show_size = set FontButton.P.show_size obj
  method set_show_style = set FontButton.P.show_style obj
  method set_title = set FontButton.P.title obj
  method set_use_font = set FontButton.P.use_font obj
  method set_use_size = set FontButton.P.use_size obj
  method font_name = get FontButton.P.font_name obj
  method show_size = get FontButton.P.show_size obj
  method show_style = get FontButton.P.show_style obj
  method title = get FontButton.P.title obj
  method use_font = get FontButton.P.use_font obj
  method use_size = get FontButton.P.use_size obj
end

class virtual font_button_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 FontButton.P.font_name
  method show_size = self#notify FontButton.P.show_size
  method show_style = self#notify FontButton.P.show_style
  method title = self#notify FontButton.P.title
  method use_font = self#notify FontButton.P.use_font
  method use_size = self#notify FontButton.P.use_size
end

class virtual tool_item_props = object
  val virtual obj : _ obj
  method set_is_important = set ToolItem.P.is_important obj
  method set_visible_horizontal = set ToolItem.P.visible_horizontal obj
  method set_visible_vertical = set ToolItem.P.visible_vertical obj
  method is_important = get ToolItem.P.is_important obj
  method visible_horizontal = get ToolItem.P.visible_horizontal obj
  method visible_vertical = get ToolItem.P.visible_vertical obj
end

class virtual tool_item_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 is_important = self#notify ToolItem.P.is_important
  method visible_horizontal = self#notify ToolItem.P.visible_horizontal
  method visible_vertical = self#notify ToolItem.P.visible_vertical
end

class virtual tool_button_props = object
  val virtual obj : _ obj
  method set_icon_widget =
    set {ToolButton.P.icon_widget with conv=GObj.conv_widget} obj
  method set_label = set ToolButton.P.label obj
  method set_label_widget =
    set {ToolButton.P.label_widget with conv=GObj.conv_widget} obj
  method set_stock_id = set ToolButton.P.stock_id obj
  method set_use_underline = set ToolButton.P.use_underline obj
  method icon_widget =
    get {ToolButton.P.icon_widget with conv=GObj.conv_widget} obj
  method label = get ToolButton.P.label obj
  method label_widget =
    get {ToolButton.P.label_widget with conv=GObj.conv_widget} obj
  method stock_id = get ToolButton.P.stock_id obj
  method use_underline = get ToolButton.P.use_underline obj
end

class virtual tool_button_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 icon_widget =
    self#notify {ToolButton.P.icon_widget with conv=GObj.conv_widget}
  method label = self#notify ToolButton.P.label
  method label_widget =
    self#notify {ToolButton.P.label_widget with conv=GObj.conv_widget}
  method stock_id = self#notify ToolButton.P.stock_id
  method use_underline = self#notify ToolButton.P.use_underline
end

class virtual toolbar_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 orientation_changed = self#connect Toolbar.S.orientation_changed
  method style_changed = self#connect Toolbar.S.style_changed
  method focus_home_or_end = self#connect Toolbar.S.focus_home_or_end
  method move_focus = self#connect Toolbar.S.move_focus
  method popup_context_menu = self#connect Toolbar.S.popup_context_menu
end

class virtual link_button_props = object
  val virtual obj : _ obj
  method set_uri = set LinkButton.P.uri obj
  method uri = get LinkButton.P.uri obj
end

class virtual link_button_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 uri = self#notify LinkButton.P.uri
end