remove Editor.view_get_buffer()