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)