/usr/lib/ocaml/lablgtk2/gAssistant.mli is in liblablgtk2-ocaml-dev 2.16.0+dfsg-1.
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 | (**************************************************************************)
(* 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 *)
(* *)
(* *)
(**************************************************************************)
(* $Id: $ *)
open Gtk
open GObj
(** Assistants *)
(** {3 GtkAssistant} *)
(** @gtkdoc gtk GtkAssistant *)
(** @gtkdoc gtk GtkAssistant *)
class assistant_signals : ([> Gtk.assistant] as 'a) obj ->
object
inherit GContainer.container_signals
val obj : 'a obj
method apply : callback:(unit -> unit) -> GtkSignal.id
method cancel : callback:(unit -> unit) -> GtkSignal.id
method close : callback:(unit -> unit) -> GtkSignal.id
method leave : callback:(unit -> unit) -> GtkSignal.id
method prepare : callback:(unit -> unit) -> GtkSignal.id
end
(** Toplevel widget which can contain other widgets in different pages
@gtkdoc gtk GtkAssistant *)
class assistant : ([> Gtk.assistant] as 'a) obj ->
object
inherit GWindow.window_skel
val obj : 'a obj
method connect : assistant_signals
method set_current_page : int -> unit
method add_action_widget : Gtk.widget Gtk.obj -> unit
method append_page :
?page_type:GtkEnums.assistant_page_type ->
?title:string ->
?header_image:GdkPixbuf.pixbuf ->
?side_image:GdkPixbuf.pixbuf ->
?complete:bool -> Gtk.widget Gtk.obj -> int
method current_page : int
method insert_page :
?page_type:GtkEnums.assistant_page_type ->
?title:string ->
?header_image:GdkPixbuf.pixbuf ->
?side_image:GdkPixbuf.pixbuf ->
?complete:bool -> position:int -> Gtk.widget Gtk.obj -> int
method n_pages : int
method nth_page : int -> Gtk.widget Gtk.obj
method page_complete : Gtk.widget Gtk.obj -> bool
method page_header_image : Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf
method page_side_image : Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf
method page_title : Gtk.widget Gtk.obj -> string
method page_type : Gtk.widget Gtk.obj -> GtkEnums.assistant_page_type
method prepend_page :
?page_type:GtkEnums.assistant_page_type ->
?title:string ->
?header_image:GdkPixbuf.pixbuf ->
?side_image:GdkPixbuf.pixbuf ->
?complete:bool -> Gtk.widget Gtk.obj -> int
method remove_action_widget : Gtk.widget Gtk.obj -> unit
method set_page_complete : Gtk.widget Gtk.obj -> bool -> unit
method set_page_header_image :
Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf -> unit
method set_page_side_image :
Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf -> unit
method set_page_title : Gtk.widget Gtk.obj -> string -> unit
method set_page_type :
Gtk.widget Gtk.obj -> GtkEnums.assistant_page_type -> unit
method update_buttons_state : unit
end
(** @gtkdoc gtk GtkPlug *)
val assistant : ?title:string ->
?allow_grow:bool ->
?allow_shrink:bool ->
?decorated:bool ->
?deletable:bool ->
?focus_on_map:bool ->
?icon:GdkPixbuf.pixbuf ->
?icon_name:string ->
?modal:bool ->
?position:Tags.window_position ->
?resizable:bool ->
?screen:Gdk.screen ->
?type_hint:GdkEnums.window_type_hint ->
?urgency_hint:bool ->
?wm_name:string ->
?wm_class:string ->
?border_width:int ->
?width:int -> ?height:int -> ?show:bool -> unit -> assistant
|