Class Ed_odoc.view


class view : Ed_view.topwin -> string -> object .. end
Inherits
method attributes : (string * string) list
method box : GObj.widget
method close : unit
method copy : (unit -> unit) option
method cut : (unit -> unit) option
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 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_on_focus_in : (unit -> unit) -> unit
method vbox : GPack.box