method dup : Ed_view.topwin -> Ed_view.gui_view option = fun _ -> None