module Ed_view: sig
.. end
Views
class type gui_view = object
.. end
class type topwin = object
.. end
class virtual dyn_label :
object
.. end
class virtual dyn_destroyable : (unit -> unit) ->
object
.. end
class type view_factory = object
.. end
val register_view_factory : string -> view_factory -> unit
val get_factory : string -> view_factory
val iter_factories : (view_factory -> unit) -> unit
val on_factory : string -> (view_factory -> 'a) -> 'a
val factory_open_file : factory:string ->
topwin ->
gui_view option ->
?attributes:(string * string) list ->
string -> [ `New_view of gui_view | `Use_view of gui_view ]
val factory_open_hidden : factory:string -> ?attributes:(string * string) list -> string -> unit
Associations between filenames and factories
val set_default_factory_name : string -> unit
Set the name of the default factory to use to open files.
val factory_of_filename : string -> string
Return the name of the view factory to use to open the given filename.
Raises Failure
if no factory is found and no default factory name is set.