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 avalliable 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.