inherits
GObj.widget_signals
method changed : callback:(unit -> unit) -> GtkSignal.id
method delete_text : callback:(start:int -> stop:int -> unit) -> GtkSignal.id
method insert_text : callback:(string -> pos:int Pervasives.ref -> unit) -> GtkSignal.id
inherits
GEdit.editable_signals
method activate : callback:(unit -> unit) -> GtkSignal.id
method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
method delete_from_cursor : callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id
method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
method move_cursor : callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) -> GtkSignal.id
method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
method populate_popup : callback:(GMenu.menu -> unit) -> GtkSignal.id
method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
inherits
GEdit.entry_signals
method change_value : callback:(Gtk.Tags.scroll_type -> unit) -> GtkSignal.id
method input : callback:(unit -> int) -> GtkSignal.id
method output : callback:(unit -> bool) -> GtkSignal.id
method value_changed : callback:(unit -> unit) -> GtkSignal.id