This file is indexed.

/usr/lib/ocaml/lablgtk2/gAssistant.ml 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
(**************************************************************************)
(*                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: gWindow.ml 1347 2007-06-20 07:40:34Z guesdon $ *)

open Gaux
open Gtk
open GtkBase
open GtkAssistant
open GtkMisc
open GObj
open OgtkAssistantProps
open GContainer

(** Assistants **)
class assistant_signals obj = object
  inherit container_signals_impl (obj : [> assistant] obj)
  inherit assistant_sigs
end

class assistant obj = object (self)
  inherit GWindow.window_skel obj
  method connect = new assistant_signals obj
  method current_page = Assistant.get_current_page obj 
  method set_current_page = Assistant.set_current_page obj 
  method n_pages = Assistant.get_n_pages obj
  method nth_page = Assistant.get_nth_page obj 
  method insert_page ?page_type ?title ?header_image ?side_image ?complete 
    ~position w
    = 
    let n = Assistant.insert_page obj w position in
    may (self#set_page_type w) page_type;
    may (self#set_page_title w) title;
    may (self#set_page_header_image w) header_image;
    may (self#set_page_side_image w) side_image;
    may (self#set_page_complete w) complete;
    n
  method append_page ?page_type ?title ?header_image ?side_image ?complete w = 
    self#insert_page ?page_type ?title ?header_image ?side_image ?complete ~position:(-1) w
  method prepend_page ?page_type ?title ?header_image ?side_image ?complete w = 
    self#insert_page ?page_type ?title ?header_image ?side_image ?complete ~position:0 w
  method set_page_type = Assistant.set_page_type obj
  method page_type = Assistant.get_page_type obj
  method set_page_title = Assistant.set_page_title obj
  method page_title = Assistant.get_page_title obj
  method set_page_header_image = Assistant.set_page_header_image obj
  method page_header_image = Assistant.get_page_header_image obj
  method set_page_side_image = Assistant.set_page_side_image obj
  method page_side_image = Assistant.get_page_side_image obj
  method set_page_complete = Assistant.set_page_complete obj
  method page_complete = Assistant.get_page_complete obj
  method add_action_widget = Assistant.add_action_widget obj
  method remove_action_widget = Assistant.remove_action_widget obj
  method update_buttons_state = Assistant.update_buttons_state obj
end

(*let assistant () =
  new assistant (Assistant.create [])
*)

let make_assistant ~create =
  GtkWindow.Window.make_params ~cont:(fun pl ?wm_name ?wm_class ->
    Container.make_params pl ~cont:(fun pl ?(show=false) () ->
      let (w : #GWindow.window_skel) = create pl in
      may w#set_wm_name wm_name;
      may w#set_wm_class wm_class;
      if show then w#show ();
      w))

let assistant =
  make_assistant [] ~create:(fun pl -> new assistant (Assistant.create []))