method dup : Ed_view.topwin -> Ed_view.gui_view option = fun topwin ->
      Some (f_dup file topwin)