diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-04-20 02:45:44 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-04-20 02:45:44 +0000 |
| commit | cd10f285b1056d02338b718b0c675d2e1765036a (patch) | |
| tree | 18bbb0d9e29767ec6f4fa17de84157983973ad21 /otherlibs/labltk/browser/jg_message.mli | |
| parent | f07fed5f1bf8b0c0ef61346ae240fb7dad274391 (diff) | |
do not propose to cancel when you cannot do it
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/jg_message.mli')
| -rw-r--r-- | otherlibs/labltk/browser/jg_message.mli | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/otherlibs/labltk/browser/jg_message.mli b/otherlibs/labltk/browser/jg_message.mli index ed638db40..0aef59742 100644 --- a/otherlibs/labltk/browser/jg_message.mli +++ b/otherlibs/labltk/browser/jg_message.mli @@ -13,15 +13,17 @@ (* $Id$ *) +open Widget + val formatted : title:string -> - ?on:Widget.frame Widget.widget -> + ?on:frame widget -> ?ppf:Format.formatter -> ?width:int -> ?maxheight:int -> ?minheight:int -> - unit -> Widget.any Widget.widget * Widget.text Widget.widget * (unit -> unit) + unit -> any widget * text widget * (unit -> unit) val ask : - title:string -> ?master:Widget.toplevel Widget.widget -> - string -> [`cancel|`no|`yes] + title:string -> ?master:toplevel widget -> + ?cancel:bool -> string -> [`cancel|`no|`yes] |