let fct_info project kf = match Marks.get_marks project kf with | None -> if Marks.kf_visible project kf then [None, kf] else [] | Some fm -> [Some fm, kf]