This file is indexed.

/usr/lib/ocaml/lablgtk2/gnoDruid.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
(**************************************************************************)
(*                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                                          *)
(*                                                                        *)
(*                                                                        *)
(**************************************************************************)

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

class druid_signals obj = object (self)
  inherit GContainer.container_signals_impl (obj : GnomeDruid.druid Gtk.obj)
  method cancel = self#connect GnomeDruid.Druid.Signals.cancel 
  method help   = self#connect GnomeDruid.Druid.Signals.help 
end

class druid obj = object (self)
  inherit GContainer.container obj
  method connect = new druid_signals obj

  method show_finish = Gobject.get GnomeDruid.Druid.Prop.show_finish obj
  method show_help   = Gobject.get GnomeDruid.Druid.Prop.show_help obj
  method set_show_finish = Gobject.set GnomeDruid.Druid.Prop.show_finish obj
  method set_show_help   = Gobject.set GnomeDruid.Druid.Prop.show_help obj

  method set_buttons_sensitive = GnomeDruid.Druid.set_buttons_sensitive obj
  method prepend_page : 'p. (#druid_page as 'p) -> unit =
    fun p -> GnomeDruid.Druid.prepend_page obj p#as_druidpage
  method insert_page : 'p1 'p2. (#druid_page as 'p1) -> (#druid_page as 'p2) -> unit =
    fun p1 p2 -> GnomeDruid.Druid.insert_page obj p1#as_druidpage p2#as_druidpage
  method append_page : 'p. (#druid_page as 'p) -> unit =
    fun p -> GnomeDruid.Druid.append_page obj p#as_druidpage
  method set_page : 'p. (#druid_page as 'p) -> unit = 
    fun p -> GnomeDruid.Druid.set_page obj p#as_druidpage
end

let druid ?show_finish ?show_help =
  GContainer.pack_container (
    Gobject.Property.may_cons GnomeDruid.Druid.Prop.show_finish show_finish (
    Gobject.Property.may_cons GnomeDruid.Druid.Prop.show_help show_help []))
    ~create:(fun pl ->
      let w = GnomeDruid.Druid.new_druid () in
      Gobject.set_params w pl ;
      new druid w)

class druid_page_signals obj = object (self)
  inherit GContainer.container_signals_impl obj
  method back ~callback = self#connect GnomeDruid.Druid_page.Signals.back 
      (fun w -> callback (new druid w))
  method cancel ~callback = self#connect GnomeDruid.Druid_page.Signals.cancel 
      (fun w -> callback (new druid w))
  method finish ~callback = self#connect GnomeDruid.Druid_page.Signals.finish 
      (fun w -> callback (new druid w))
  method next ~callback = self#connect GnomeDruid.Druid_page.Signals.next 
      (fun w -> callback (new druid w))
  method prepare ~callback = self#connect GnomeDruid.Druid_page.Signals.prepare 
      (fun w -> callback (new druid w))
end

class druid_page_skel obj = object (self)
  inherit [[> GnomeDruid.druidpage]] GContainer.container_impl obj
  method as_druidpage = (obj :> GnomeDruid.druidpage Gtk.obj)
  method connect = new druid_page_signals (obj :> GnomeDruid.druidpage Gtk.obj)
end
  
class druid_page_edge obj = object (self)
  inherit druid_page_skel obj
  method set_bg_color = GnomeDruid.Page_Edge.set_bg_color obj
  method set_textbox_color = GnomeDruid.Page_Edge.set_textbox_color obj
  method set_logo_bg_color = GnomeDruid.Page_Edge.set_logo_bg_color obj
  method set_title_color = GnomeDruid.Page_Edge.set_title_color obj
  method set_text_color = GnomeDruid.Page_Edge.set_text_color obj
  method set_text = GnomeDruid.Page_Edge.set_text obj
  method set_title = GnomeDruid.Page_Edge.set_title obj
  method set_logo = GnomeDruid.Page_Edge.set_logo obj
  method set_watermark = GnomeDruid.Page_Edge.set_watermark obj
  method set_top_watermark = GnomeDruid.Page_Edge.set_top_watermark obj
end

let druid_page_edge ~position ~aa ?title ?text ?logo ?watermark ?top_watermark =
  GContainer.pack_container [] ~create:(fun pl ->
    let w = GnomeDruid.Page_Edge.new_with_vals position ~aa ?title ?text ?logo ?watermark ?top_watermark in
    Gobject.set_params w pl ;
    new druid_page_edge w)

class druid_page_standard obj = object (self)
  inherit druid_page_skel obj
  method vbox = new GPack.box (GnomeDruid.Page_Standard.vbox obj)
  method append_item ?question ?additional_info w =
    GnomeDruid.Page_Standard.append_item obj ?question (GObj.as_widget w) ?additional_info
  method set_background = Gobject.set GnomeDruid.Page_Standard.Prop.background obj
  method set_logo = Gobject.set GnomeDruid.Page_Standard.Prop.logo obj
  method set_logo_background = Gobject.set GnomeDruid.Page_Standard.Prop.logo_background obj
  method set_title = Gobject.set GnomeDruid.Page_Standard.Prop.title obj
  method set_title_foreground = Gobject.set GnomeDruid.Page_Standard.Prop.title_foreground obj
end

let druid_page_standard ?background ?logo ?logo_background ?title ?title_foreground =
  GContainer.pack_container (
  Gobject.Property.may_cons GnomeDruid.Page_Standard.Prop.background background (
  Gobject.Property.may_cons GnomeDruid.Page_Standard.Prop.logo logo (
  Gobject.Property.may_cons GnomeDruid.Page_Standard.Prop.logo_background logo_background (
  Gobject.Property.may_cons GnomeDruid.Page_Standard.Prop.title title (
  Gobject.Property.may_cons GnomeDruid.Page_Standard.Prop.title_foreground title_foreground [])))))
    ~create:(fun pl ->
      let w = GnomeDruid.Page_Standard.new_page_standard () in
      Gobject.set_params w pl ;
      new druid_page_standard w)