Class type Ed_view.view_factory


class type view_factory = object .. end

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