Blame browser/jg_text.mli
|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* OCaml LablTk library *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Jacques Garrigue, Kyoto University RIMS *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Copyright 1999 Institut National de Recherche en Informatique et *)
|
|
Packit |
bd2e5d |
(* en Automatique and Kyoto University. All rights reserved. *)
|
|
Packit |
bd2e5d |
(* This file is distributed under the terms of the GNU Library *)
|
|
Packit |
bd2e5d |
(* General Public License, with the special exception on linking *)
|
|
Packit |
bd2e5d |
(* described in file ../../../LICENSE. *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* $Id$ *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
open Widget
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val get_all : text widget -> string
|
|
Packit |
bd2e5d |
val tag_and_see :
|
|
Packit |
bd2e5d |
text widget ->
|
|
Packit |
bd2e5d |
tag:Tk.textTag -> start:Tk.textIndex -> stop:Tk.textIndex -> unit
|
|
Packit |
bd2e5d |
val output : text widget -> buf:string -> pos:int -> len:int -> unit
|
|
Packit |
bd2e5d |
val add_scrollbar : text widget -> scrollbar widget
|
|
Packit |
bd2e5d |
val create_with_scrollbar :
|
|
Packit |
bd2e5d |
'a widget -> frame widget * text widget * scrollbar widget
|
|
Packit |
bd2e5d |
val goto_tag : text widget -> tag:string -> unit
|
|
Packit |
bd2e5d |
val search_string : text widget -> unit
|