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