Class GSourceView3.source_undo_manager_signals
method after : 'amethod can_redo_changed : callback:(unit -> unit) -> GtkSignal.idmethod can_undo_changed : callback:(unit -> unit) -> GtkSignal.id
GSourceView3.source_undo_manager_signalsmethod after : 'amethod can_redo_changed : callback:(unit -> unit) -> GtkSignal.idmethod can_undo_changed : callback:(unit -> unit) -> GtkSignal.id