method click_column : callback:(int -> unit) -> GtkSignal.idmethod notify_n_columns : callback:(int -> unit) -> GtkSignal.idmethod notify_reorderable : callback:(bool -> unit) -> GtkSignal.idmethod notify_row_height : callback:(int -> unit) -> GtkSignal.idmethod notify_selection_mode : callback:(GtkEnums.selection_mode -> unit) ->
GtkSignal.idmethod notify_shadow_type : callback:(GtkEnums.shadow_type -> unit) ->
GtkSignal.idmethod notify_sort_type : callback:(GtkEnums.sort_type -> unit) -> GtkSignal.idmethod notify_titles_active : callback:(bool -> unit) -> GtkSignal.idmethod notify_use_drag_icons : callback:(bool -> unit) -> GtkSignal.idmethod resize_column : callback:(int -> int -> unit) -> GtkSignal.idmethod scroll_horizontal : callback:(GtkEnums.scroll_type -> pos:float -> unit) ->
GtkSignal.idmethod scroll_vertical : callback:(GtkEnums.scroll_type -> pos:float -> unit) ->
GtkSignal.idmethod select_all : callback:(unit -> unit) -> GtkSignal.idmethod select_row : callback:
(row:int ->
column:int ->
event:GdkEvent.Button.t option ->
unit) ->
GtkSignal.idmethod unselect_all : callback:(unit -> unit) -> GtkSignal.idmethod unselect_row : callback:
(row:int ->
column:int ->
event:GdkEvent.Button.t option ->
unit) ->
GtkSignal.id