/usr/lib/ocaml/labltk/cListbox.mli is in liblabltk-ocaml-dev 8.06.2+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 | (***********************************************************************)
(* *)
(* 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 listbox widget *)
open CTk
open Tkintf
open Widget
open Textvariable
val create : ?name: string -> widget -> options list -> widget
(** [create ?name parent options] creates a new widget with
parent [parent] and new patch component [name] if specified.
Options are restricted to the widget class subset, and checked
dynamically. *)
val create_named : widget -> string -> options list -> widget
(** [create_named parent name options] creates a new widget with
parent [parent] and new patch component [name].
This function is now obsolete and unified with [create]. *)
val activate : (* listbox *) widget -> (* listbox *) index -> unit
val bbox : (* listbox *) widget -> (* listbox *) index -> int * int * int * int
val configure : (* listbox *) widget -> (* listbox *) options list -> unit
val configure_get : (* listbox *) widget -> string
val curselection : (* listbox *) widget -> (* listbox *) index list
val delete : (* listbox *) widget -> (* listbox *) index -> (* listbox *) index -> unit
val get : (* listbox *) widget -> (* listbox *) index -> string
val get_range : (* listbox *) widget -> (* listbox *) index -> (* listbox *) index -> string list
val index : (* listbox *) widget -> (* listbox *) index -> (* listbox *) index
val insert : (* listbox *) widget -> (* listbox *) index -> string list -> unit
val nearest : (* listbox *) widget -> int -> (* listbox *) index
val scan_dragto : (* listbox *) widget -> int -> int -> unit
val scan_mark : (* listbox *) widget -> int -> int -> unit
val see : (* listbox *) widget -> (* listbox *) index -> unit
val selection_anchor : (* listbox *) widget -> (* listbox *) index -> unit
val selection_clear : (* listbox *) widget -> (* listbox *) index -> (* listbox *) index -> unit
val selection_includes : (* listbox *) widget -> (* listbox *) index -> bool
val selection_set : (* listbox *) widget -> (* listbox *) index -> (* listbox *) index -> unit
val size : (* listbox *) widget -> int
val xview : (* listbox *) widget -> scrollValue -> unit
val xview_get : (* listbox *) widget -> float * float
val xview_index : (* listbox *) widget -> (* listbox *) index -> unit
val yview : (* listbox *) widget -> scrollValue -> unit
val yview_get : (* listbox *) widget -> float * float
val yview_index : (* listbox *) widget -> (* listbox *) index -> unit
|