method active_file = try let n = notebook#current_page in Some (List.nth file_boxes n) with _ -> None