/usr/lib/ocaml/labltk/scrollbar.mli is in liblabltk-ocaml-dev 8.06.0+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 | (***********************************************************************)
(* *)
(* MLTk, Tcl/Tk interface of OCaml *)
(* *)
(* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *)
(* projet Cristal, INRIA Rocquencourt *)
(* Jacques Garrigue, Kyoto University RIMS *)
(* *)
(* Copyright 2002 Institut National de Recherche en Informatique et *)
(* en Automatique and Kyoto University. All rights reserved. *)
(* This file is distributed under the terms of the GNU Library *)
(* General Public License, with the special exception on linking *)
(* described in file LICENSE found in the OCaml source tree. *)
(* *)
(***********************************************************************)
(* The scrollbar widget *)
open StdLabels
open Tk
open Tkintf
open Widget
open Textvariable
val create :
?name:string ->
?activebackground:color ->
?activerelief:relief ->
?background:color ->
?borderwidth:int ->
?command:(scroll:scrollValue -> unit) ->
?cursor:cursor ->
?elementborderwidth:int ->
?highlightbackground:color ->
?highlightcolor:color ->
?highlightthickness:int ->
?jump:bool ->
?orient:orientation ->
?relief:relief ->
?repeatdelay:int ->
?repeatinterval:int ->
?takefocus:bool ->
?troughcolor:color ->
?width:int ->
'a widget -> scrollbar widget
(** [create ?name parent options...] creates a new widget with
parent [parent] and new patch component [name], if specified. *)
val activate : scrollbar widget -> element:scrollbarElement -> unit
val activate_get : scrollbar widget -> scrollbarElement
val configure : ?activebackground:color ->
?activerelief:relief ->
?background:color ->
?borderwidth:int ->
?command:(scroll:scrollValue -> unit) ->
?cursor:cursor ->
?elementborderwidth:int ->
?highlightbackground:color ->
?highlightcolor:color ->
?highlightthickness:int ->
?jump:bool ->
?orient:orientation ->
?relief:relief ->
?repeatdelay:int ->
?repeatinterval:int ->
?takefocus:bool ->
?troughcolor:color ->
?width:int -> scrollbar widget -> unit
val configure_get : scrollbar widget -> string
val delta : scrollbar widget -> x:int -> y:int -> float
val fraction : scrollbar widget -> x:int -> y:int -> float
val get : scrollbar widget -> float * float
val identify : scale widget -> int -> int -> scrollbarElement
val old_get : scrollbar widget -> int * int * int * int
val old_set : scrollbar widget -> total:int -> window:int -> first:int -> last:int -> unit
val set : scrollbar widget -> first:float -> last:float -> unit
|