|
Packit |
bd2e5d |
(***********************************************************************)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* MLTk, Tcl/Tk interface of OCaml *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *)
|
|
Packit |
bd2e5d |
(* projet Cristal, INRIA Rocquencourt *)
|
|
Packit |
bd2e5d |
(* Jacques Garrigue, Kyoto University RIMS *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Copyright 2002 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 found in the OCaml source tree. *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(***********************************************************************)
|
|
Packit |
bd2e5d |
open Camltk
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val abs_index : int -> textIndex
|
|
Packit |
bd2e5d |
(* [abs_index offs] returns the corresponding TextIndex *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val insertMark : textIndex
|
|
Packit |
bd2e5d |
val currentMark : textIndex
|
|
Packit |
bd2e5d |
val textEnd : textIndex
|
|
Packit |
bd2e5d |
val textBegin : textIndex
|
|
Packit |
bd2e5d |
(* shortcuts for various positions in a text widget *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val scroll_link : Widget.widget -> Widget.widget -> unit
|
|
Packit |
bd2e5d |
(* [scroll_link scrollbar text] links a scrollbar and a text widget
|
|
Packit |
bd2e5d |
as expected
|
|
Packit |
bd2e5d |
*)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val new_scrollable_text :
|
|
Packit |
bd2e5d |
Widget.widget -> options list -> bool -> Widget.widget * Widget.widget
|
|
Packit |
bd2e5d |
(* [new_scrollable_text parent opts nav_keys] makes a scrollable text
|
|
Packit |
bd2e5d |
widget with optional navigation keys. Returns frame and text widget.
|
|
Packit |
bd2e5d |
*)
|
|
Packit |
bd2e5d |
val addsearch : Widget.widget -> unit
|
|
Packit |
bd2e5d |
(* [addsearch textw] adds a search dialog bound on [Control-s]
|
|
Packit |
bd2e5d |
on the text widget
|
|
Packit |
bd2e5d |
*)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val navigation_keys : Widget.widget -> unit
|
|
Packit |
bd2e5d |
(* [navigation_keys textw] adds common navigations functions to [textw] *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val init : unit -> unit
|
|
Packit |
bd2e5d |
(* [init ()] must be called before any of the above features is used *)
|