blob: 8862702c61902f1c842678826b302313b37d88b9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(* $Id$ *)
val formatted :
title:string ->
?on:Widget.frame Widget.widget ->
?width:int ->
?maxheight:int ->
?minheight:int ->
unit -> Widget.any Widget.widget * Widget.text Widget.widget * (unit -> unit)
val ask :
title:string -> ?master:Widget.toplevel Widget.widget ->
string -> [`cancel|`no|`yes]
|
