let create_view topwin file =
  new view topwin file