Source file gtkFileProps.ml

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
open Gobject
open Data
module Object = GtkObject
external ml_gtkfile_init : unit -> unit = "ml_gtkfile_init"
let () = ml_gtkfile_init ()
let may_cons = Property.may_cons
let may_cons_opt = Property.may_cons_opt

module FileChooser = struct
  let cast w : Gtk.file_chooser obj = try_cast w "GtkFileChooser"
  module P = struct
    let action : ([>`filechooser],_) property =
      {name="action"; conv=GtkEnums.Conv.file_chooser_action}
    let create_folders : ([>`filechooser],_) property =
      {name="create-folders"; conv=boolean}
    let extra_widget : ([>`filechooser],_) property =
      {name="extra-widget"; conv=(gobject : Gtk.widget obj data_conv)}
    let filter : ([>`filechooser],_) property =
      {name="filter"; conv=(gobject : Gtk.file_filter  Gtk.obj data_conv)}
    let local_only : ([>`filechooser],_) property =
      {name="local-only"; conv=boolean}
    let preview_widget : ([>`filechooser],_) property =
      {name="preview-widget"; conv=(gobject : Gtk.widget obj data_conv)}
    let preview_widget_active : ([>`filechooser],_) property =
      {name="preview-widget-active"; conv=boolean}
    let select_multiple : ([>`filechooser],_) property =
      {name="select-multiple"; conv=boolean}
    let show_hidden : ([>`filechooser],_) property =
      {name="show-hidden"; conv=boolean}
    let use_preview_label : ([>`filechooser],_) property =
      {name="use-preview-label"; conv=boolean}
    let do_overwrite_confirmation : ([>`filechooser],_) property =
      {name="do-overwrite-confirmation"; conv=boolean}
  end
  module S = struct
    open GtkSignal
    let current_folder_changed =
      {name="current_folder_changed"; classe=`filechooser;
       marshaller=marshal_unit}
    let file_activated =
      {name="file_activated"; classe=`filechooser; marshaller=marshal_unit}
    let selection_changed =
      {name="selection_changed"; classe=`filechooser;
       marshaller=marshal_unit}
    let update_preview =
      {name="update_preview"; classe=`filechooser; marshaller=marshal_unit}
    let confirm_overwrite =
      {name="confirm_overwrite"; classe=`filechooser;
       marshaller=fun f -> marshal0_ret ~ret:GtkEnums.Conv.file_chooser_confirmation f}
  end
end

module FileChooserButton = struct
  let cast w : Gtk.file_chooser_button obj =
    try_cast w "GtkFileChooserButton"
  module P = struct
    let title : ([>`filechooserbutton],_) property =
      {name="title"; conv=string}
    let width_chars : ([>`filechooserbutton],_) property =
      {name="width-chars"; conv=int}
  end
  let create pl : Gtk.file_chooser_button obj =
    Object.make "GtkFileChooserButton" pl
end