/usr/lib/ocaml/lablgtk2/gRange.ml is in liblablgtk2-ocaml-dev 2.14.2+dfsg-3.
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 | (**************************************************************************)
(* 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: gRange.ml 1347 2007-06-20 07:40:34Z guesdon $ *)
open Gaux
open Gtk
open GtkBase
open GtkRange
open OgtkRangeProps
open GObj
class progress_bar obj = object
inherit [Gtk.progress_bar] widget_impl obj
method connect = new widget_signals_impl obj
method event = new GObj.event_ops obj
inherit progress_bar_props
method pulse () = ProgressBar.pulse obj
end
let progress_bar =
ProgressBar.make_params [] ~cont:(fun pl ?packing ?show () ->
pack_return (new progress_bar (ProgressBar.create pl)) ~packing ~show)
class range_signals obj = object
inherit widget_signals_impl obj
inherit range_sigs
end
class range obj = object
inherit ['a] widget_impl obj
method connect = new range_signals obj
method event = new GObj.event_ops obj
inherit range_props
end
class scale obj = object
inherit range (obj : Gtk.scale obj)
inherit scale_props
end
let scale dir ?adjustment =
Scale.make_params [] ~cont:(
Range.make_params ?adjustment:(may_map GData.as_adjustment adjustment)
~cont:(fun pl ?packing ?show params ->
pack_return (new scale (Scale.create dir pl)) ~packing ~show))
let scrollbar dir ?adjustment =
Range.make_params [] ?adjustment:(may_map GData.as_adjustment adjustment)
~cont:(fun pl ?packing ?show params ->
pack_return (new range (Scrollbar.create dir pl)) ~packing ~show)
class ruler obj = object
inherit ['a] widget_impl obj
method connect = new widget_signals_impl obj
method event = new GObj.event_ops obj
inherit ruler_props
method set_metric = Ruler.set_metric obj
end
let ruler dir ?metric =
Ruler.make_params [] ~cont:(fun pl ?packing ?show params ->
let w = new ruler (Ruler.create dir pl) in
may w#set_metric metric;
pack_return w ~packing ~show)
|