Blame frx/frx_req.mli

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
  *)