object
  method name : string
  method on_exit : unit
  method on_start : unit
  method open_file :
    Ed_view.topwin ->
    Ed_view.gui_view option ->
    ?attributes:(string * string) list ->
    string ->
    [ `New_view of Ed_view.gui_view | `Use_view of Ed_view.gui_view ]
  method open_hidden :
    (?attributes:(string * string) list -> string -> unit) option
end