GtkSourceView3_types.source_undo_manager Gtk.obj -> object ('a) method after : 'a method can_redo_changed : callback:(unit -> unit) -> GtkSignal.id method can_undo_changed : callback:(unit -> unit) -> GtkSignal.id end