let open_file topwin active_view ?attributes filename = `New_view (create_view topwin filename :> Ed_view.gui_view)