* for prompting the user otherwise a TextEntry widget will be
* @return the string given by the user *)
val ask_text:
- gui:#gui -> ?title:string -> ?msg:string -> ?multiline:bool -> unit -> string
+ gui:#gui ->
+ ?title:string -> ?msg:string -> ?multiline:bool -> ?default:string -> unit ->
+ string