diff options
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] |