external undo: [>`sourcebuffer] obj -> unit = "ml_gtk_source_buffer_undo"