Class Ed_multiclip.factory


class factory : ( object
method name : string
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
method on_start : unit
method on_exit : unit
end : object ... end )

method name : string
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
method on_start : unit
method on_exit : unit