blob: 8b3880eef77e81a1d1293507aad81c3c897a5e09 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(* $Id$ *)
open Widget
val get_all : text widget -> string
val tag_and_see :
text widget ->
tag:Tk.textTag -> start:Tk.textIndex -> end:Tk.textIndex -> unit
val output : text widget -> buffer:string -> pos:int -> len:int -> unit
val add_scrollbar : text widget -> scrollbar widget
val create_with_scrollbar :
parent:'a widget -> frame widget * text widget * scrollbar widget
val goto_tag : text widget -> tag:string -> unit
val search_string : text widget -> unit
|
