sig
  class view :
    Ed_view.topwin ->
    ('-> 'b) ->
    ('-> unit) ->
    string ->
    object ('a)
      val mutable label : string
      val mutable on_destroy : unit -> unit
      val mutable on_label_change : string -> unit
      method add_group : unit
      method add_item : 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 display_filename : unit
      method display_modified : unit
      method display_state : unit
      method dup : Ed_view.topwin -> Ed_view.gui_view option
      method edit_selected : unit
      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 my_set_label : unit
      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_tdl.view
  val open_file :
    Ed_view.topwin ->
    Ed_view.gui_view ->
    ?attributes:(string * string) list ->
    string ->
    [> `New_view of Ed_view.gui_view | `Use_view of Ed_view.gui_view ]
  class factory : Ed_view.view_factory
end