let remove_buffer b = buffers := List.filter (fun b2 -> b#filename <> b2#filename) !buffers; remove_buffer_from_history b#name