method activate : callback:(unit -> unit) -> GtkSignal.idmethod after : spin_button_signals as 'amethod change_value : callback:(Gtk.Tags.scroll_type -> unit) -> GtkSignal.idmethod changed : callback:(unit -> unit) -> GtkSignal.idmethod copy_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod cut_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod delete_from_cursor : callback:(Gtk.Tags.delete_type -> int -> unit) ->
GtkSignal.idmethod delete_text : callback:(start:int -> stop:int -> unit) -> GtkSignal.idmethod destroy : callback:(unit -> unit) -> GtkSignal.idmethod icon_press : callback:
(GtkEnums.entry_icon_position ->
GdkEvent.Button.t ->
unit) ->
GtkSignal.idmethod icon_released : callback:
(GtkEnums.entry_icon_position ->
GdkEvent.Button.t ->
unit) ->
GtkSignal.idmethod input : callback:(unit -> int) -> GtkSignal.idmethod insert_at_cursor : callback:(string -> unit) -> GtkSignal.idmethod insert_text : callback:(string -> pos:int Stdlib.ref -> unit) ->
GtkSignal.idmethod move_cursor : callback:
(Gtk.Tags.movement_step -> int -> extend:bool -> unit) ->
GtkSignal.idmethod notify_activates_default : callback:(bool -> unit) -> GtkSignal.idmethod notify_adjustment : callback:(GData.adjustment -> unit) -> GtkSignal.idmethod notify_digits : callback:(int -> unit) -> GtkSignal.idmethod notify_has_frame : callback:(bool -> unit) -> GtkSignal.idmethod notify_invisible_char : callback:(int -> unit) -> GtkSignal.idmethod notify_max_length : callback:(int -> unit) -> GtkSignal.idmethod notify_numeric : callback:(bool -> unit) -> GtkSignal.idmethod notify_overwrite_mode : callback:(bool -> unit) -> GtkSignal.idmethod notify_primary_icon_activatable : callback:(bool -> unit) ->
GtkSignal.idmethod notify_primary_icon_sensitive : callback:(bool -> unit) -> GtkSignal.idmethod notify_rate : callback:(float -> unit) -> GtkSignal.idmethod notify_scroll_offset : callback:(int -> unit) -> GtkSignal.idmethod notify_secondary_icon_activatable : callback:(bool -> unit) ->
GtkSignal.idmethod notify_secondary_icon_sensitive : callback:(bool -> unit) ->
GtkSignal.idmethod notify_snap_to_ticks : callback:(bool -> unit) -> GtkSignal.idmethod notify_text : callback:(string -> unit) -> GtkSignal.idmethod notify_update_policy : callback:
(GtkEnums.spin_button_update_policy -> unit) ->
GtkSignal.idmethod notify_value : callback:(float -> unit) -> GtkSignal.idmethod notify_visibility : callback:(bool -> unit) -> GtkSignal.idmethod notify_width_chars : callback:(int -> unit) -> GtkSignal.idmethod notify_wrap : callback:(bool -> unit) -> GtkSignal.idmethod notify_xalign : callback:(float -> unit) -> GtkSignal.idmethod output : callback:(unit -> bool) -> GtkSignal.idmethod paste_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod populate_popup : callback:(GMenu.menu -> unit) -> GtkSignal.idmethod toggle_overwrite : callback:(unit -> unit) -> GtkSignal.idmethod value_changed : callback:(unit -> unit) -> GtkSignal.idmethod wrapped : callback:(unit -> unit) -> GtkSignal.id