external redo: [>`sourcebuffer] obj -> unit = "ml_gtk_source_buffer_redo"