This file is indexed.

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