|
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 Tk
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let tpos ?(modi=[]) x : textIndex = `Linechar (1,0), `Char x :: modi
|
|
Packit |
bd2e5d |
and tposend ?(modi=[]) x : textIndex = `End, `Char (-x) :: modi
|
|
Packit |
bd2e5d |
let tstart : textIndex = `Linechar (1,0), []
|
|
Packit |
bd2e5d |
and tend : textIndex = `End, []
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let wingui = Sys.os_type = "Win32" || Sys.os_type = "Cygwin"
|