class editable : [> Gtk.editable ] Gtk.obj -> object .. end
Interface for text-editing widgets
GTK documentation: GtkEditable
Inherits
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