This file is indexed.

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

class virtual file_chooser_props = object
  val virtual obj : _ obj
  method set_action = set FileChooser.P.action obj
  method set_extra_widget =
    set {FileChooser.P.extra_widget with conv=GObj.conv_widget} obj
  method set_local_only = set FileChooser.P.local_only obj
  method set_preview_widget =
    set {FileChooser.P.preview_widget with conv=GObj.conv_widget} obj
  method set_preview_widget_active =
    set FileChooser.P.preview_widget_active obj
  method set_select_multiple = set FileChooser.P.select_multiple obj
  method set_show_hidden = set FileChooser.P.show_hidden obj
  method set_use_preview_label = set FileChooser.P.use_preview_label obj
  method set_do_overwrite_confirmation =
    set FileChooser.P.do_overwrite_confirmation obj
  method action = get FileChooser.P.action obj
  method extra_widget =
    get {FileChooser.P.extra_widget with conv=GObj.conv_widget} obj
  method local_only = get FileChooser.P.local_only obj
  method preview_widget =
    get {FileChooser.P.preview_widget with conv=GObj.conv_widget} obj
  method preview_widget_active = get FileChooser.P.preview_widget_active obj
  method select_multiple = get FileChooser.P.select_multiple obj
  method show_hidden = get FileChooser.P.show_hidden obj
  method use_preview_label = get FileChooser.P.use_preview_label obj
  method do_overwrite_confirmation =
    get FileChooser.P.do_overwrite_confirmation obj
end

class virtual file_chooser_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 action = self#notify FileChooser.P.action
  method extra_widget =
    self#notify {FileChooser.P.extra_widget with conv=GObj.conv_widget}
  method local_only = self#notify FileChooser.P.local_only
  method preview_widget =
    self#notify {FileChooser.P.preview_widget with conv=GObj.conv_widget}
  method preview_widget_active =
    self#notify FileChooser.P.preview_widget_active
  method select_multiple = self#notify FileChooser.P.select_multiple
  method show_hidden = self#notify FileChooser.P.show_hidden
  method use_preview_label = self#notify FileChooser.P.use_preview_label
  method do_overwrite_confirmation =
    self#notify FileChooser.P.do_overwrite_confirmation
end

class virtual file_chooser_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 current_folder_changed =
    self#connect FileChooser.S.current_folder_changed
  method file_activated = self#connect FileChooser.S.file_activated
  method selection_changed = self#connect FileChooser.S.selection_changed
  method update_preview = self#connect FileChooser.S.update_preview
  method confirm_overwrite = self#connect FileChooser.S.confirm_overwrite
  method notify_action ~callback = self#notify FileChooser.P.action ~callback
  method notify_extra_widget ~callback =
    self#notify {FileChooser.P.extra_widget with conv=GObj.conv_widget} ~callback
  method notify_local_only ~callback =
    self#notify FileChooser.P.local_only ~callback
  method notify_preview_widget ~callback =
    self#notify {FileChooser.P.preview_widget with conv=GObj.conv_widget} ~callback
  method notify_preview_widget_active ~callback =
    self#notify FileChooser.P.preview_widget_active ~callback
  method notify_select_multiple ~callback =
    self#notify FileChooser.P.select_multiple ~callback
  method notify_show_hidden ~callback =
    self#notify FileChooser.P.show_hidden ~callback
  method notify_use_preview_label ~callback =
    self#notify FileChooser.P.use_preview_label ~callback
  method notify_do_overwrite_confirmation ~callback =
    self#notify FileChooser.P.do_overwrite_confirmation ~callback
end

class virtual file_chooser_button_props = object
  val virtual obj : _ obj
  method set_title = set FileChooserButton.P.title obj
  method set_width_chars = set FileChooserButton.P.width_chars obj
  method title = get FileChooserButton.P.title obj
  method width_chars = get FileChooserButton.P.width_chars obj
end

class virtual file_chooser_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 title = self#notify FileChooserButton.P.title
  method width_chars = self#notify FileChooserButton.P.width_chars
end