|
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 |
(* Various dialog boxes *)
|
|
Packit |
bd2e5d |
val open_simple :
|
|
Packit |
bd2e5d |
string ->
|
|
Packit |
bd2e5d |
(string -> unit) -> (unit -> 'a) -> Textvariable.textVariable -> unit
|
|
Packit |
bd2e5d |
(* [open_simple title action cancelled memory]
|
|
Packit |
bd2e5d |
A dialog with a message and an entry field (with memory between
|
|
Packit |
bd2e5d |
invocations). Either [action] or [cancelled] is called when the user
|
|
Packit |
bd2e5d |
answers to the dialog (with Ok or Cancel)
|
|
Packit |
bd2e5d |
*)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val open_simple_synchronous : string -> Textvariable.textVariable -> bool
|
|
Packit |
bd2e5d |
(* [open_simple_synchronous title memory]
|
|
Packit |
bd2e5d |
A synchronous dialog with a message and an entry field (with
|
|
Packit |
bd2e5d |
memory between invocations). Returns true if the user clicks Ok
|
|
Packit |
bd2e5d |
or false if the user clicks Cancel.
|
|
Packit |
bd2e5d |
*)
|
|
Packit |
bd2e5d |
val open_list :
|
|
Packit |
bd2e5d |
string -> string list -> (string -> unit) -> (unit -> unit) -> unit
|
|
Packit |
bd2e5d |
(* [open_list title elements action cancelled]
|
|
Packit |
bd2e5d |
A dialog for selecting from a list of elements. [action] is called
|
|
Packit |
bd2e5d |
on each selected element, or [cancelled] is called if the user clicks
|
|
Packit |
bd2e5d |
Cancel.
|
|
Packit |
bd2e5d |
*)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val open_passwd : string -> string * string
|
|
Packit |
bd2e5d |
(* [open_passwd title] pops up a username/password dialog and returns
|
|
Packit |
bd2e5d |
(username, password).
|
|
Packit |
bd2e5d |
*)
|