let get_next_buffer_in_history b = let rec iter = function [] | [_] -> None | name :: h :: q -> if name = b then Some h else iter (h :: q) in iter !Ed_sourceview.buffer_name_history