sig
type loc_info = Odoc_info.location
type kind =
[ `Att
| `Class
| `Class_type
| `Exception
| `Method
| `Module
| `Module_type
| `Type
| `Value of bool ]
and data = string * Ed_odoc.kind
class view :
Ed_view.topwin ->
string ->
object
val mutable label : string
val mutable on_destroy : unit -> unit
val mutable on_label_change : string -> unit
method attributes : (string * string) list
method box : GObj.widget
method close : unit
method copy : (unit -> unit) option
method cut : (unit -> unit) option
method destroy : unit
method dup : Ed_view.topwin -> Ed_view.gui_view option
method filename : string
method grab_focus : unit
method key_bindings : (Okey.keyhit_state * string) list
method kind : string
method label : string
method menus : (string * GToolbox.menu_entry list) list
method paste : (unit -> unit) option
method reload : (unit -> unit) option
method save : (unit -> unit) option
method save_as : (unit -> unit) option
method set_label : string -> unit
method set_on_destroy : (unit -> unit) -> unit
method set_on_focus_in : (unit -> unit) -> unit
method set_on_label_change : (string -> unit) -> unit
method vbox : GPack.box
end
val create_view : Ed_view.topwin -> string -> Ed_odoc.view
val open_file :
Ed_view.topwin ->
Ed_view.gui_view ->
?attributes:(string * string) list ->
string -> [> `New_view of Ed_view.gui_view ]
class factory : Ed_view.view_factory
end