/usr/lib/ocaml/lablgtk2/gtkAssistantProps.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 | open Gobject
open Data
module Object = GtkObject
open Gtk
let may_cons = Property.may_cons
let may_cons_opt = Property.may_cons_opt
module Assistant = struct
let cast w : Gtk.assistant obj = try_cast w "GtkAssistant"
module S = struct
open GtkSignal
let apply = {name="apply"; classe=`assistant; marshaller=marshal_unit}
let cancel = {name="cancel"; classe=`assistant; marshaller=marshal_unit}
let close = {name="close"; classe=`assistant; marshaller=marshal_unit}
let leave = {name="leave"; classe=`assistant; marshaller=marshal_unit}
let prepare =
{name="prepare"; classe=`assistant; marshaller=marshal_unit}
end
let create pl : Gtk.assistant obj = Object.make "GtkAssistant" pl
external get_current_page : [>`assistant] obj -> int
= "ml_gtk_assistant_get_current_page"
external set_current_page : [>`assistant] obj -> int->unit
= "ml_gtk_assistant_set_current_page"
external get_n_pages : [>`assistant] obj -> int
= "ml_gtk_assistant_get_n_pages"
external get_nth_page : [>`assistant] obj -> int -> widget obj
= "ml_gtk_assistant_get_nth_page"
external insert_page : [>`assistant] obj -> widget obj -> int -> int
= "ml_gtk_assistant_insert_page"
external set_page_type :
[>`assistant] obj -> widget obj -> GtkEnums.assistant_page_type -> unit
= "ml_gtk_assistant_set_page_type"
external get_page_type :
[>`assistant] obj -> widget obj -> GtkEnums.assistant_page_type
= "ml_gtk_assistant_get_page_type"
external set_page_title : [>`assistant] obj -> widget obj -> string -> unit
= "ml_gtk_assistant_set_page_title"
external get_page_title : [>`assistant] obj -> widget obj -> string
= "ml_gtk_assistant_get_page_title"
external set_page_header_image :
[>`assistant] obj -> widget obj -> GdkPixbuf.pixbuf -> unit
= "ml_gtk_assistant_set_page_header_image"
external get_page_header_image :
[>`assistant] obj -> widget obj -> GdkPixbuf.pixbuf
= "ml_gtk_assistant_get_page_header_image"
external set_page_side_image :
[>`assistant] obj -> widget obj -> GdkPixbuf.pixbuf -> unit
= "ml_gtk_assistant_set_page_side_image"
external get_page_side_image :
[>`assistant] obj -> widget obj -> GdkPixbuf.pixbuf
= "ml_gtk_assistant_get_page_side_image"
external set_page_complete :
[>`assistant] obj -> widget obj -> bool -> unit
= "ml_gtk_assistant_set_page_complete"
external get_page_complete : [>`assistant] obj -> widget obj -> bool
= "ml_gtk_assistant_get_page_complete"
external add_action_widget : [>`assistant] obj -> widget obj -> unit
= "ml_gtk_assistant_add_action_widget"
external remove_action_widget : [>`assistant] obj -> widget obj -> unit
= "ml_gtk_assistant_remove_action_widget"
external update_buttons_state : [>`assistant] obj -> unit
= "ml_gtk_assistant_update_buttons_state"
end
|