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