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