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