let
create_view topwin file =
new
view topwin file