Class `GEdit.editable`

Interface for text-editing widgets @gtkdoc gtk GtkEditable

inherit 'a GObj.widget_impl

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