let remove_buffer (b : buffered_file) = buffers := List.filter (fun b2 -> b#filename <> b2#filename) !buffers; remove_buffer_from_history b#name; Gtksv_utils.unregister_source_buffer (b#buffer :> GSourceView2.source_buffer)