Blame browser/jg_message.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 formatted :
Packit bd2e5d
  title:string ->
Packit bd2e5d
  ?on:frame widget ->
Packit bd2e5d
  ?ppf:Format.formatter ->
Packit bd2e5d
  ?width:int ->
Packit bd2e5d
  ?maxheight:int ->
Packit bd2e5d
  ?minheight:int ->
Packit bd2e5d
  unit -> any widget * text widget * (unit -> unit)
Packit bd2e5d
Packit bd2e5d
val ask :
Packit bd2e5d
    title:string -> ?master:toplevel widget ->
Packit bd2e5d
    ?no:bool -> ?cancel:bool -> string -> [`Cancel|`No|`Yes]
Packit bd2e5d
Packit bd2e5d
val info :
Packit bd2e5d
    title:string -> ?master:toplevel widget -> string -> unit