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