class editable :[> Gtk.editable ] Gtk.obj ->
object
..end
Interface for text-editing widgets
method copy_clipboard : unit -> unit
method cut_clipboard : unit -> unit
method delete_selection : unit -> unit
method delete_text : start:int -> stop:int -> unit
method editable : bool
method get_chars : start:int -> stop:int -> string
method insert_text : string -> pos:int -> int
method paste_clipboard : unit -> unit
method position : int
method select_region : start:int -> stop:int -> unit
method selection : (int * int) option
method set_position : int -> unit
method set_editable : bool -> unit