module View: sig
.. end
type
ressource_kind = [ `Dir | `File | `None ]
type
ressource_name = string
type
view_name = string
class type view = object
.. end
class type view_factory = object
.. end
val register_factory : view_factory -> unit
val open_ressource : ressource_name ->
view_name -> string array -> view
val open_ressource_no_window : ressource_name ->
view_name ->
string array -> GWindow.window -> (GObj.widget -> unit) -> view
val refresh_ressource_views : ressource_name -> unit
val close_ressource_views : ressource_name -> unit
val available_views : ?kind:ressource_kind -> unit -> view_name list
class view_window : ?allow_shrink:bool -> ?width:int -> ?height:int -> title:string -> view ->
object
.. end
val create_view_window : ?width:int ->
?height:int ->
title:string -> view -> view_window