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