Ed_view.topwin ->
((< add_group : unit; add_item : unit; attributes : (string * string) list;
box : GObj.widget; close : unit; copy : (unit -> unit) option;
cut : (unit -> unit) option; destroy : unit; display_filename : unit;
display_modified : unit; display_state : unit;
dup : Ed_view.topwin -> Ed_view.gui_view option; edit_selected :
unit; filename : string; grab_focus : unit;
key_bindings : (Okey.keyhit_state * string) list; kind : string;
label : string; menus : (string * GToolbox.menu_entry list) list;
my_set_label : unit; paste : (unit -> unit) option;
reload : (unit -> unit) option; save : (unit -> unit) option;
save_as : (unit -> unit) option; set_label : string -> unit;
set_on_destroy : (unit -> unit) -> unit;
set_on_focus_in : (unit -> unit) -> unit;
set_on_label_change : (string -> unit) -> unit; vbox : GPack.box; .. >
as 'a) ->
'b) ->
('a -> 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