class view : Ed_view.topwin -> string -> (< add : ?abs:string -> string -> unit; attributes : (string * string) list;
box : GObj.widget; clipbox : Multiclip_gui.multiclip_box; close : unit;
copy : (unit -> unit) option; cut : (unit -> unit) option; destroy :
unit; dup : Ed_view.topwin -> Ed_view.gui_view option; filename : string;
grab_focus : unit; key_bindings : (Okey.keyhit_state * string) list;
kind : string; label : string;
menus : (string * GToolbox.menu_entry list) list;
minibuffer : Ed_minibuffer.minibuffer; paste : (unit -> unit) option;
reload : (unit -> unit) option; remove : string -> unit;
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;
storable_multiclip : Multiclip.storable_multiclip; vbox : GPack.box; .. > ->
unit) -> ((< add : ?abs:string -> string -> unit; attributes : (string * string) list;
box : GObj.widget; clipbox : Multiclip_gui.multiclip_box; close :
unit; copy : (unit -> unit) option; cut : (unit -> unit) option;
destroy : unit; dup : Ed_view.topwin -> Ed_view.gui_view option;
filename : string; grab_focus : unit;
key_bindings : (Okey.keyhit_state * string) list; kind : string;
label : string; menus : (string * GToolbox.menu_entry list) list;
minibuffer : Ed_minibuffer.minibuffer; paste : (unit -> unit) option;
reload : (unit -> unit) option; remove : string -> unit;
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;
storable_multiclip : Multiclip.storable_multiclip; vbox : GPack.box; .. >
as 'a) ->
'b) ->
object
.. end
Inherits
method vbox : GPack.box
method box : GObj.widget
method save : (unit -> unit) option
method save_as : (unit -> unit) option
method close : unit
method reload : (unit -> unit) option
method paste : (unit -> unit) option
method copy : (unit -> unit) option
method cut : (unit -> unit) option
method kind : string
method filename : string
method attributes : (string * string) list
method set_on_focus_in : (unit -> unit) -> unit
method grab_focus : unit
method dup : Ed_view.topwin -> Ed_view.gui_view option
method key_bindings : (Okey.keyhit_state * string) list
method menus : (string * GToolbox.menu_entry list) list
method minibuffer : Ed_minibuffer.minibuffer
method storable_multiclip : Multiclip.storable_multiclip
method clipbox : Multiclip_gui.multiclip_box
method add : ?abs:string -> string -> unit
method remove : string -> unit