This file is indexed.

/usr/lib/ocaml/lablgtk2/gnoDruid.mli is in liblablgtk2-gnome-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
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
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
(**************************************************************************)
(*                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                                          *)
(*                                                                        *)
(*                                                                        *)
(**************************************************************************)

(** Druids (a.k.a. Wizards) *)

class type druid_page =
  object
    method as_druidpage : GnomeDruid.druidpage Gtk.obj
  end

(** @gtkdoc libgnomeui GnomeDruid *)
class druid_signals :
  GnomeDruid.druid Gtk.obj ->
  object ('a)
    inherit GContainer.container_signals
    method cancel : callback:(unit -> unit) -> GtkSignal.id
    method help : callback:(unit -> unit) -> GtkSignal.id
  end

(** @gtkdoc libgnomeui GnomeDruid *)
class druid :
  GnomeDruid.druid Gtk.obj ->
  object
    inherit GContainer.container
    val obj : GnomeDruid.druid Gtk.obj

    method connect : druid_signals

    method set_show_finish : bool -> unit
    method set_show_help : bool -> unit
    method show_finish : bool
    method show_help : bool
    method set_buttons_sensitive :
      back:bool -> next:bool -> cancel:bool -> help:bool -> unit

    method prepend_page : #druid_page -> unit
    method insert_page : #druid_page -> #druid_page -> unit
    method append_page : #druid_page -> unit
    method set_page : #druid_page -> unit
  end

(** @gtkdoc libgnomeui GnomeDruid *)
val druid :
  ?show_finish:bool ->
  ?show_help:bool ->
  ?border_width:int ->
  ?width:int ->
  ?height:int ->
  ?packing:(GObj.widget -> unit) ->
  ?show:bool ->
  unit -> druid

(** @gtkdoc libgnomeui GnomeDruidPage *)
class druid_page_signals :
  GnomeDruid.druidpage Gtk.obj ->
  object ('a)
    inherit GContainer.container_signals
    method back : callback:(druid -> bool) -> GtkSignal.id
    method cancel : callback:(druid -> bool) -> GtkSignal.id
    method finish : callback:(druid -> unit) -> GtkSignal.id
    method next : callback:(druid -> bool) -> GtkSignal.id
    method prepare : callback:(druid -> unit) -> GtkSignal.id
  end

(** @gtkdoc libgnomeui GnomeDruidPage *)
class druid_page_skel :
  ([> GnomeDruid.druidpage] as 'a)  Gtk.obj ->
  object
    inherit GContainer.container
    val obj : 'a Gtk.obj
    method as_druidpage : GnomeDruid.druidpage Gtk.obj
    method connect : druid_page_signals
  end

(** @gtkdoc libgnomeui GnomeDruidPageEdge *)
class druid_page_edge :
  GnomeDruid.page_edge Gtk.obj ->
  object
    inherit druid_page_skel
    val obj : GnomeDruid.page_edge Gtk.obj

    method set_bg_color : Gdk.color -> unit
    method set_logo : GdkPixbuf.pixbuf -> unit
    method set_logo_bg_color : Gdk.color -> unit
    method set_resize_mode : Gtk.Tags.resize_mode -> unit
    method set_text : string -> unit
    method set_text_color : Gdk.color -> unit
    method set_textbox_color : Gdk.color -> unit
    method set_title : string -> unit
    method set_title_color : Gdk.color -> unit
    method set_top_watermark : GdkPixbuf.pixbuf -> unit
    method set_watermark : GdkPixbuf.pixbuf -> unit
  end

(** @gtkdoc libgnomeui GnomeDruidPageEdge *)
val druid_page_edge :
  position:GnomeDruid.Page_Edge.edge_position ->
  aa:bool ->
  ?title:string ->
  ?text:string ->
  ?logo:GdkPixbuf.pixbuf ->
  ?watermark:GdkPixbuf.pixbuf ->
  ?top_watermark:GdkPixbuf.pixbuf ->
  ?border_width:int ->
  ?width:int ->
  ?height:int ->
  ?packing:(GObj.widget -> unit) ->
  ?show:bool ->
  unit ->
  druid_page_edge

(** @gtkdoc libgnomeui GnomeDruidPageStandard *)
class druid_page_standard :
  GnomeDruid.page_standard Gtk.obj ->
  object
    inherit druid_page_skel
    val obj : GnomeDruid.page_standard Gtk.obj

    method vbox : GPack.box
    method append_item :
      ?question:string -> ?additional_info:string -> GObj.widget -> unit
    method set_background : string -> unit
    method set_border_width : int -> unit
    method set_logo : GdkPixbuf.pixbuf -> unit
    method set_logo_background : string -> unit
    method set_resize_mode : Gtk.Tags.resize_mode -> unit
    method set_title : string -> unit
    method set_title_foreground : string -> unit
  end

(** @gtkdoc libgnomeui GnomeDruidPageStandard *)
val druid_page_standard :
  ?background:string ->
  ?logo:GdkPixbuf.pixbuf ->
  ?logo_background:string ->
  ?title:string ->
  ?title_foreground:string ->
  ?border_width:int ->
  ?width:int ->
  ?height:int ->
  ?packing:(GObj.widget -> unit) ->
  ?show:bool ->
  unit ->
  druid_page_standard