- method echo_prompt : unit -> unit
- method echo_message : string -> unit
- method echo_error : string -> unit
+ method prompt : string
+ method set_prompt : string -> unit
+
+ method phrase_sep : string
+ method set_phrase_sep : string -> unit
+
+ (** override previous callback definition *)
+ method set_callback : (string -> unit) -> unit
+
+ method ignore_insert_text_signal: bool -> unit