/usr/lib/ocaml/labltk/text.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 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 | (***********************************************************************)
(* *)
(* 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 StdLabels
open Tk
open Tkintf
open Widget
open Textvariable
val create :
?name:string ->
?background:color ->
?borderwidth:int ->
?cursor:cursor ->
?exportselection:bool ->
?font:string ->
?foreground:color ->
?height:int ->
?highlightbackground:color ->
?highlightcolor:color ->
?highlightthickness:int ->
?insertbackground:color ->
?insertborderwidth:int ->
?insertofftime:int ->
?insertontime:int ->
?insertwidth:int ->
?padx:int ->
?pady:int ->
?relief:relief ->
?selectbackground:color ->
?selectborderwidth:int ->
?selectforeground:color ->
?setgrid:bool ->
?spacing1:int ->
?spacing2:int ->
?spacing3:int ->
?state:inputState ->
?tabs:tabType list ->
?takefocus:bool ->
?width:int ->
?wrap:wrapMode ->
?xscrollcommand:(first:float -> last:float -> unit) ->
?yscrollcommand:(first:float -> last:float -> unit) ->
'a widget -> text widget
(** [create ?name parent options...] creates a new widget with
parent [parent] and new patch component [name], if specified. *)
val bbox : text widget -> index:textIndex -> int * int * int * int
val compare : text widget -> index:textIndex -> op:comparison -> index:textIndex -> bool
val configure : ?background:color ->
?borderwidth:int ->
?cursor:cursor ->
?exportselection:bool ->
?font:string ->
?foreground:color ->
?height:int ->
?highlightbackground:color ->
?highlightcolor:color ->
?highlightthickness:int ->
?insertbackground:color ->
?insertborderwidth:int ->
?insertofftime:int ->
?insertontime:int ->
?insertwidth:int ->
?padx:int ->
?pady:int ->
?relief:relief ->
?selectbackground:color ->
?selectborderwidth:int ->
?selectforeground:color ->
?setgrid:bool ->
?spacing1:int ->
?spacing2:int ->
?spacing3:int ->
?state:inputState ->
?tabs:tabType list ->
?takefocus:bool ->
?width:int ->
?wrap:wrapMode ->
?xscrollcommand:(first:float -> last:float -> unit) ->
?yscrollcommand:(first:float -> last:float -> unit) -> text widget -> unit
val configure_get : text widget -> string
val debug : text widget -> bool -> unit
val delete : text widget -> start:textIndex -> stop:textIndex -> unit
val delete_char : text widget -> index:textIndex -> unit
val dlineinfo : text widget -> index:textIndex -> int * int * int * int * int
val dump : text widget -> text_dump list -> start:textIndex -> stop:textIndex -> string list
val dump_char : text widget -> text_dump list -> index:textIndex -> string list
val get : text widget -> start:textIndex -> stop:textIndex -> string
val get_char : text widget -> index:textIndex -> string
val image_configure : name:string -> ?align:alignType ->
?image:[< image] ->
?name:string ->
?padx:int ->
?pady:int -> text widget -> unit
val image_configure_get : text widget -> name:string -> string
val image_create : index:textIndex -> ?align:alignType ->
?image:[< image] ->
?name:string ->
?padx:int ->
?pady:int -> text widget -> string
val image_names : text widget -> string list
val index : text widget -> index:textIndex -> [>`Linechar of int * int]
val insert : index:textIndex -> text:string -> ?tags:textTag list -> text widget -> unit
val mark_gravity_get : text widget -> mark:textMark -> markDirection
val mark_gravity_set : text widget -> mark:textMark -> direction:markDirection -> unit
val mark_names : text widget -> textMark list
val mark_next : text widget -> index:textIndex -> textMark
val mark_previous : text widget -> index:textIndex -> textMark
val mark_set : text widget -> mark:textMark -> index:textIndex -> unit
val mark_unset : text widget -> marks:textMark list -> unit
val scan_dragto : text widget -> x:int -> y:int -> unit
val scan_mark : text widget -> x:int -> y:int -> unit
val search : switches:textSearch list -> pattern:string -> start:textIndex -> ?stop:textIndex -> text widget -> [>`Linechar of int * int]
val see : text widget -> index:textIndex -> unit
val tag_add : text widget -> tag:textTag -> start:textIndex -> stop:textIndex -> unit
val tag_add_char : text widget -> tag:textTag -> index:textIndex -> unit
val tag_configure : tag:textTag -> ?background:color ->
?bgstipple:bitmap ->
?borderwidth:int ->
?fgstipple:bitmap ->
?font:string ->
?foreground:color ->
?justify:justification ->
?lmargin1:int ->
?lmargin2:int ->
?offset:int ->
?overstrike:bool ->
?relief:relief ->
?rmargin:int ->
?spacing1:int ->
?spacing2:int ->
?spacing3:int ->
?tabs:tabType list ->
?underline:bool ->
?wrap:wrapMode -> text widget -> unit
val tag_delete : text widget -> textTag list -> unit
val tag_lower : tag:textTag -> ?below:textTag -> text widget -> unit
val tag_names : ?index:textIndex -> text widget -> textTag list
val tag_nextrange : tag:textTag -> start:textIndex -> ?stop:textIndex -> text widget -> [>`Linechar of int * int] * [>`Linechar of int * int]
val tag_prevrange : tag:textTag -> start:textIndex -> ?stop:textIndex -> text widget -> [>`Linechar of int * int] * [>`Linechar of int * int]
val tag_raise : tag:textTag -> ?above:textTag -> text widget -> unit
val tag_ranges : text widget -> tag:textTag -> [>`Linechar of int * int] list
val tag_remove : text widget -> tag:textTag -> start:textIndex -> stop:textIndex -> unit
val tag_remove_char : text widget -> tag:textTag -> index:textIndex -> unit
val window_configure : tag:textTag -> ?align:alignType ->
?padx:int ->
?pady:int ->
?stretch:bool ->
?window:'a widget -> text widget -> unit
val window_create : index:textIndex -> ?align:alignType ->
?padx:int ->
?pady:int ->
?stretch:bool ->
?window:'a widget -> text widget -> unit
val window_names : text widget -> any widget list
val xview : text widget -> scroll:scrollValue -> unit
val xview_get : text widget -> float * float
val yview : text widget -> scroll:scrollValue -> unit
val yview_get : text widget -> float * float
val yview_index : text widget -> index:textIndex -> unit
val yview_index_pickplace : text widget -> index:textIndex -> unit
val yview_line : text widget -> line:int -> unit
val tag_bind :
tag: string -> events: event list ->
?extend: bool -> ?breakable: bool -> ?fields: eventField list ->
?action: (eventInfo -> unit) -> text widget -> unit
|