/usr/lib/ocaml/lablgtk2/gnomeDruid.ml is in liblablgtk2-gnome-ocaml-dev 2.18.3+dfsg-2.
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 | (**************************************************************************)
(* Lablgtk *)
(* *)
(* This program is free software; you can redistribute it *)
(* and/or modify it under the terms of the GNU Library General *)
(* Public License as published by the Free Software Foundation *)
(* version 2, with the exception described in file COPYING which *)
(* comes with the library. *)
(* *)
(* This program is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
(* GNU Library General Public License for more details. *)
(* *)
(* You should have received a copy of the GNU Library General *)
(* Public License along with this program; if not, write to the *)
(* Free Software Foundation, Inc., 59 Temple Place, Suite 330, *)
(* Boston, MA 02111-1307 USA *)
(* *)
(* *)
(**************************************************************************)
type druid = [Gtk.container|`druid]
type druidpage = [Gtk.bin|`druidpage]
type page_edge = [druidpage|`page_edge]
type page_standard = [druidpage|`page_standard]
module Druid =
struct
external new_druid : unit -> druid Gtk.obj = "ml_gnome_druid_new"
external set_buttons_sensitive : druid Gtk.obj -> back:bool -> next:bool -> cancel:bool -> help:bool -> unit = "ml_gnome_druid_set_buttons_sensitive"
external prepend_page : druid Gtk.obj -> druidpage Gtk.obj -> unit = "ml_gnome_druid_prepend_page"
external insert_page : druid Gtk.obj -> druidpage Gtk.obj -> druidpage Gtk.obj -> unit = "ml_gnome_druid_insert_page"
external append_page : druid Gtk.obj -> druidpage Gtk.obj -> unit = "ml_gnome_druid_append_page"
external set_page : druid Gtk.obj -> druidpage Gtk.obj -> unit = "ml_gnome_druid_set_page"
module Signals = struct
let cancel =
{ GtkSignal.name = "cancel" ;
GtkSignal.classe = `druid ;
GtkSignal.marshaller = GtkSignal.marshal_unit }
let help =
{ GtkSignal.name = "help" ;
GtkSignal.classe = `druid ;
GtkSignal.marshaller = GtkSignal.marshal_unit }
end
module Prop = struct
let show_finish : (druid, bool) Gobject.property =
{ Gobject.name = "show-finish" ;
Gobject.conv = Gobject.Data.boolean }
let show_help : (druid, bool) Gobject.property =
{ Gobject.name = "show-help" ;
Gobject.conv = Gobject.Data.boolean }
end
end
module Druid_page = struct
module Signals = struct
let back : (druidpage, druid Gtk.obj -> bool) GtkSignal.t =
{ GtkSignal.name = "back" ;
GtkSignal.classe = `druidpage ;
GtkSignal.marshaller =
GtkSignal.marshal1_ret ~ret:Gobject.Data.boolean Gobject.Data.gobject "GnomeDruidPage::back"
}
let cancel : (druidpage, druid Gtk.obj -> bool) GtkSignal.t =
{ GtkSignal.name = "cancel" ;
GtkSignal.classe = `druidpage ;
GtkSignal.marshaller =
GtkSignal.marshal1_ret ~ret:Gobject.Data.boolean Gobject.Data.gobject "GnomeDruidPage::cancel"
}
let finish : (druidpage, druid Gtk.obj -> unit) GtkSignal.t =
{ GtkSignal.name = "finish" ;
GtkSignal.classe = `druidpage ;
GtkSignal.marshaller = GtkSignal.marshal1 Gobject.Data.gobject "GnomeDruidPage::finish"
}
let next : (druidpage, druid Gtk.obj -> bool) GtkSignal.t =
{ GtkSignal.name = "next" ;
GtkSignal.classe = `druidpage ;
GtkSignal.marshaller =
GtkSignal.marshal1_ret ~ret:Gobject.Data.boolean Gobject.Data.gobject "GnomeDruidPage::next"
}
let prepare : (druidpage, druid Gtk.obj -> unit) GtkSignal.t =
{ GtkSignal.name = "prepare" ;
GtkSignal.classe = `druidpage ;
GtkSignal.marshaller = GtkSignal.marshal1 Gobject.Data.gobject "GnomeDruidPage::prepare"
}
end
end
module Page_Edge = struct
type edge_position = [ `START | `FINISH | `OTHER ]
external new_with_vals : edge_position -> aa:bool -> ?title:string -> ?text:string ->
?logo:GdkPixbuf.pixbuf -> ?watermark:GdkPixbuf.pixbuf -> ?top_watermark:GdkPixbuf.pixbuf ->
page_edge Gtk.obj
= "ml_gnome_druid_page_edge_new_with_vals_bc" "ml_gnome_druid_page_edge_new_with_vals"
external set_bg_color : page_edge Gtk.obj -> Gdk.color -> unit
= "ml_gnome_druid_page_edge_set_bg_color"
external set_textbox_color : page_edge Gtk.obj -> Gdk.color -> unit
= "ml_gnome_druid_page_edge_set_textbox_color"
external set_logo_bg_color : page_edge Gtk.obj -> Gdk.color -> unit
= "ml_gnome_druid_page_edge_set_logo_bg_color"
external set_title_color : page_edge Gtk.obj -> Gdk.color -> unit
= "ml_gnome_druid_page_edge_set_title_color"
external set_text_color : page_edge Gtk.obj -> Gdk.color -> unit
= "ml_gnome_druid_page_edge_set_text_color"
external set_text : page_edge Gtk.obj -> string -> unit
= "ml_gnome_druid_page_edge_set_text"
external set_title : page_edge Gtk.obj -> string -> unit
= "ml_gnome_druid_page_edge_set_title"
external set_logo : page_edge Gtk.obj -> GdkPixbuf.pixbuf -> unit
= "ml_gnome_druid_page_edge_set_logo"
external set_watermark : page_edge Gtk.obj -> GdkPixbuf.pixbuf -> unit
= "ml_gnome_druid_page_edge_set_watermark"
external set_top_watermark : page_edge Gtk.obj -> GdkPixbuf.pixbuf -> unit
= "ml_gnome_druid_page_edge_set_top_watermark"
end
module Page_Standard = struct
external vbox : page_standard Gtk.obj -> Gtk.box Gtk.obj = "ml_gnome_druid_page_standard_vbox"
external new_page_standard : unit -> page_standard Gtk.obj = "ml_gnome_druid_page_standard_new"
external append_item : page_standard Gtk.obj -> ?question:string -> Gtk.widget Gtk.obj -> ?additional_info:string -> unit = "ml_gnome_druid_page_standard_append_item"
module Prop = struct
let background : (page_standard, string) Gobject.property =
{ Gobject.name = "background" ;
Gobject.conv = Gobject.Data.string }
let logo : (page_standard, GdkPixbuf.pixbuf) Gobject.property =
{ Gobject.name = "logo" ;
Gobject.conv = Gobject.Data.gobject }
let logo_background : (page_standard, string) Gobject.property =
{ Gobject.name = "logo-background" ;
Gobject.conv = Gobject.Data.string }
let title : (page_standard, string) Gobject.property =
{ Gobject.name = "title" ;
Gobject.conv = Gobject.Data.string }
let title_foreground : (page_standard, string) Gobject.property =
{ Gobject.name = "title-foreground" ;
Gobject.conv = Gobject.Data.string }
end
end
|