This file is indexed.

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

class virtual action_props = object
  val virtual obj : _ obj
  method set_hide_if_empty = set Action.P.hide_if_empty obj
  method set_is_important = set Action.P.is_important obj
  method set_label = set Action.P.label obj
  method set_icon_name = set Action.P.icon_name obj
  method set_sensitive = set Action.P.sensitive obj
  method set_short_label = set Action.P.short_label obj
  method set_stock_id = set Action.P.stock_id obj
  method set_tooltip = set Action.P.tooltip obj
  method set_visible = set Action.P.visible obj
  method set_visible_horizontal = set Action.P.visible_horizontal obj
  method set_visible_vertical = set Action.P.visible_vertical obj
  method hide_if_empty = get Action.P.hide_if_empty obj
  method is_important = get Action.P.is_important obj
  method label = get Action.P.label obj
  method icon_name = get Action.P.icon_name obj
  method name = get Action.P.name obj
  method sensitive = get Action.P.sensitive obj
  method short_label = get Action.P.short_label obj
  method stock_id = get Action.P.stock_id obj
  method tooltip = get Action.P.tooltip obj
  method visible = get Action.P.visible obj
  method visible_horizontal = get Action.P.visible_horizontal obj
  method visible_vertical = get Action.P.visible_vertical obj
end

class virtual action_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 hide_if_empty = self#notify Action.P.hide_if_empty
  method is_important = self#notify Action.P.is_important
  method label = self#notify Action.P.label
  method icon_name = self#notify Action.P.icon_name
  method name = self#notify Action.P.name
  method sensitive = self#notify Action.P.sensitive
  method short_label = self#notify Action.P.short_label
  method stock_id = self#notify Action.P.stock_id
  method tooltip = self#notify Action.P.tooltip
  method visible = self#notify Action.P.visible
  method visible_horizontal = self#notify Action.P.visible_horizontal
  method visible_vertical = self#notify Action.P.visible_vertical
end

class virtual action_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 Action.S.activate
  method notify_hide_if_empty ~callback =
    self#notify Action.P.hide_if_empty ~callback
  method notify_is_important ~callback =
    self#notify Action.P.is_important ~callback
  method notify_label ~callback = self#notify Action.P.label ~callback
  method notify_icon_name ~callback =
    self#notify Action.P.icon_name ~callback
  method notify_name ~callback = self#notify Action.P.name ~callback
  method notify_sensitive ~callback =
    self#notify Action.P.sensitive ~callback
  method notify_short_label ~callback =
    self#notify Action.P.short_label ~callback
  method notify_stock_id ~callback = self#notify Action.P.stock_id ~callback
  method notify_tooltip ~callback = self#notify Action.P.tooltip ~callback
  method notify_visible ~callback = self#notify Action.P.visible ~callback
  method notify_visible_horizontal ~callback =
    self#notify Action.P.visible_horizontal ~callback
  method notify_visible_vertical ~callback =
    self#notify Action.P.visible_vertical ~callback
end

class virtual toggle_action_props = object
  val virtual obj : _ obj
  method set_draw_as_radio = set ToggleAction.P.draw_as_radio obj
  method draw_as_radio = get ToggleAction.P.draw_as_radio obj
end

class virtual toggle_action_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 draw_as_radio = self#notify ToggleAction.P.draw_as_radio
end

class virtual toggle_action_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 toggled = self#connect ToggleAction.S.toggled
  method notify_draw_as_radio ~callback =
    self#notify ToggleAction.P.draw_as_radio ~callback
end

class virtual radio_action_props = object
  val virtual obj : _ obj
  method set_group = set RadioAction.P.group obj
  method set_value = set RadioAction.P.value obj
  method value = get RadioAction.P.value obj
end

class virtual radio_action_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 value = self#notify RadioAction.P.value
end

class virtual ui_manager_props = object
  val virtual obj : _ obj
  method set_add_tearoffs = set UIManager.P.add_tearoffs obj
  method add_tearoffs = get UIManager.P.add_tearoffs obj
  method ui = get UIManager.P.ui obj
end

class virtual ui_manager_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 add_tearoffs = self#notify UIManager.P.add_tearoffs
  method ui = self#notify UIManager.P.ui
end

class virtual ui_manager_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 actions_changed = self#connect UIManager.S.actions_changed
  method add_widget = self#connect
    {UIManager.S.add_widget with marshaller = fun f ->
     marshal1 GObj.conv_widget "GtkUIManager::add_widget" f}
  method notify_add_tearoffs ~callback =
    self#notify UIManager.P.add_tearoffs ~callback
  method notify_ui ~callback = self#notify UIManager.P.ui ~callback
end

class virtual action_group_props = object
  val virtual obj : _ obj
  method set_sensitive = set ActionGroup.P.sensitive obj
  method set_visible = set ActionGroup.P.visible obj
  method name = get ActionGroup.P.name obj
  method sensitive = get ActionGroup.P.sensitive obj
  method visible = get ActionGroup.P.visible obj
end

class virtual action_group_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 name = self#notify ActionGroup.P.name
  method sensitive = self#notify ActionGroup.P.sensitive
  method visible = self#notify ActionGroup.P.visible
end