3.21) The extended prompt.

type gr_exprompt =
  { expt_window : gr_window
  ; mutable expt_left : int
  ; mutable expt_top : int
  ; mutable expt_name : Formated_string
  }
;;
The extended prompt displays a text in a window. The text can have any of the fonts available in the module windows.
The variables associated with extented prompt are:
gr_draw_exprompt : gr_exprompt -> unit
gr_draw_exprompt ExPrompt draws the extended prompt.
gr_fline_to_string : Formated_line -> string
gr_fline_to_string Lines convert the formated line Lines into a string.