/usr/lib/ocaml/labltk/cText.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 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 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 | (***********************************************************************)
(* *)
(* 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 text 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 bbox : (* text *) widget -> textIndex -> int * int * int * int
val compare : (* text *) widget -> textIndex -> comparison -> textIndex -> bool
val configure : (* text *) widget -> (* text *) options list -> unit
val configure_get : (* text *) widget -> string
val debug : (* text *) widget -> bool -> unit
val delete : (* text *) widget -> textIndex -> textIndex -> unit
val delete_char : (* text *) widget -> textIndex -> unit
val dlineinfo : (* text *) widget -> textIndex -> int * int * int * int * int
val dump : (* text *) widget -> text_dump list -> textIndex -> textIndex -> string list
val dump_char : (* text *) widget -> text_dump list -> textIndex -> string list
val get : (* text *) widget -> textIndex -> textIndex -> string
val get_char : (* text *) widget -> textIndex -> string
val image_configure : (* text *) widget -> string -> (* embeddedi *) options list -> unit
val image_configure_get : (* text *) widget -> string -> string
val image_create : (* text *) widget -> textIndex -> (* embeddedi *) options list -> string
val image_names : (* text *) widget -> string list
val index : (* text *) widget -> textIndex -> (* text *) index
val insert : (* text *) widget -> textIndex -> string -> textTag list -> unit
val mark_gravity_get : (* text *) widget -> textMark -> markDirection
val mark_gravity_set : (* text *) widget -> textMark -> markDirection -> unit
val mark_names : (* text *) widget -> textMark list
val mark_next : (* text *) widget -> textIndex -> textMark
val mark_previous : (* text *) widget -> textIndex -> textMark
val mark_set : (* text *) widget -> textMark -> textIndex -> unit
val mark_unset : (* text *) widget -> textMark list -> unit
val scan_dragto : (* text *) widget -> int -> int -> unit
val scan_mark : (* text *) widget -> int -> int -> unit
val search : (* text *) widget -> textSearch list -> string -> textIndex -> textIndex -> index
val see : (* text *) widget -> textIndex -> unit
val tag_add : (* text *) widget -> textTag -> textIndex -> textIndex -> unit
val tag_add_char : (* text *) widget -> textTag -> textIndex -> unit
val tag_allnames : (* text *) widget -> textTag list
val tag_configure : (* text *) widget -> textTag -> (* texttag *) options list -> unit
val tag_delete : (* text *) widget -> textTag list -> unit
val tag_indexnames : (* text *) widget -> textIndex -> textTag list
val tag_lower : ?below:textTag -> (* text *) widget -> textTag -> unit
val tag_lower_below : (* text *) widget -> textTag -> textTag -> unit
val tag_lower_bot : (* text *) widget -> textTag -> unit
val tag_names : ?index:textIndex -> (* text *) widget -> textTag list
val tag_nextrange : (* text *) widget -> textTag -> textIndex -> textIndex -> index * index
val tag_prevrange : (* text *) widget -> textTag -> textIndex -> textIndex -> index * index
val tag_raise : ?above:textTag -> (* text *) widget -> textTag -> unit
val tag_raise_above : (* text *) widget -> textTag -> textTag -> unit
val tag_raise_top : (* text *) widget -> textTag -> unit
val tag_ranges : (* text *) widget -> textTag -> index list
val tag_remove : (* text *) widget -> textTag -> textIndex -> textIndex -> unit
val tag_remove_char : (* text *) widget -> textTag -> textIndex -> unit
val window_configure : (* text *) widget -> textTag -> (* embeddedw *) options list -> unit
val window_create : (* text *) widget -> textIndex -> (* embeddedw *) options list -> unit
val window_names : (* text *) widget -> widget list
val xview : (* text *) widget -> scrollValue -> unit
val xview_get : (* text *) widget -> float * float
val yview : (* text *) widget -> scrollValue -> unit
val yview_get : (* text *) widget -> float * float
val yview_index : (* text *) widget -> textIndex -> unit
val yview_index_pickplace : (* text *) widget -> textIndex -> unit
val yview_line : (* text *) widget -> int -> unit
val tag_bind:
widget -> textTag -> (modifier list * xEvent) list -> bindAction -> unit
|