/usr/lib/ocaml/lablgtk2/ogtkFileProps.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 | 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
|