* http://helm.cs.unibo.it/
*)
+ (** @param evbox event box to which keyboard shortcuts are registered; no
+ * shortcut will be registered if evbox is not given *)
class console:
?prompt:string -> ?phrase_sep:string -> ?callback:(string -> unit) ->
- Gtk.text_view Gtk.obj ->
+ ?evbox:GBin.event_box -> Gtk.text_view Gtk.obj ->
object
inherit GText.view
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
end
(** @param prompt user prompt (default "# ")
?prompt:string ->
?phrase_sep:string ->
?callback:(string -> unit) ->
+ ?evbox:GBin.event_box ->
?buffer:GText.buffer ->
?editable:bool ->