method close_current () = match self#active_file with None -> () | Some fb -> if fb#close () then ignore (notebook#remove_page notebook#current_page)