?attributes:(string * string) list ->
Ed_view.topwin ->
((< attributes : (string * string) list; backward_char : unit;
backward_line : unit; backward_word : unit; beginning_of_line : unit;
box : GObj.widget; buffer_modified : bool; buffer_name : string;
close : unit; connect_buffer_events : unit; copy : (unit -> unit) option;
current_line : int; cut : (unit -> unit) option;
cut_to_selection : ?concat:[ `APPEND | `PREPEND ] ->
start:GText.iter -> stop:GText.iter -> unit -> unit;
delete_char : bool -> unit; destroy : unit; display_buffer_name :
unit; display_encoding : unit; display_location : unit;
display_mode : unit; display_modified : unit; display_state : unit;
display_stx_mode : unit; do_save : unit;
dup : Ed_view.topwin -> Ed_view.gui_view option; end_of_line : unit;
file : Ed_sourceview.buffered_file; filename : string;
forward_char : unit; forward_line : unit; forward_word : unit;
goto_char : int -> unit; goto_line : int -> unit; grab_focus : unit;
has_focus : bool; insert : string -> unit;
key_bindings : (Okey.keyhit_state * string) list;
kill_line : append:bool -> unit;
kill_word : ?concat:[ `APPEND | `PREPEND ] -> bool -> unit;
kind : string; label : string;
menus : (string * GToolbox.menu_entry list) list;
minibuffer : Ed_minibuffer.minibuffer; my_set_label : unit;
on_cursor_moved : unit; paste : (unit -> unit) option;
place_cursor : ?scroll:bool -> GText.iter -> unit; redo : unit;
reload : (unit -> unit) option; save : (unit -> unit) option;
save_as : (unit -> unit) option; set_encoding : string option -> unit;
set_file : ?focus_in:bool -> Ed_sourceview.buffered_file -> unit;
set_label : string -> unit; set_location : int * int -> unit;
set_mode : Ed_sourceview.mode option -> unit;
set_my_location : int * int -> unit;
set_on_destroy : (unit -> unit) -> unit;
set_on_focus_in : (unit -> unit) -> unit;
set_on_label_change : (string -> unit) -> unit;
set_scroll_on_change : unit;
set_syntax_mode : GSourceView.source_language -> unit;
set_wrap_mode : Gtk.Tags.wrap_mode -> unit;
source_buffer : Ed_sourceview.my_buffer;
source_view : GSourceView.source_view;
switch_line_markers : ?v:bool -> unit -> unit;
switch_line_numbers : ?v:bool -> unit -> unit; transpose_chars :
unit; transpose_lines : unit; transpose_words : unit; undo : unit;
unset_scroll_on_change : unit; update_my_location : unit; .. >
as 'a) ->
unit) ->
('a -> 'b) ->
(Ed_sourceview.buffered_file -> Ed_view.topwin -> Ed_view.gui_view) ->
(string -> string -> unit) ->
Ed_sourceview.buffered_file ->
object ('a)
val mutable file : Ed_sourceview.buffered_file
val mutable label : string
val mutable my_location : int * int
val mutable on_destroy : unit -> unit
val mutable on_focus_in : unit -> unit
val mutable on_label_change : string -> unit
method attributes : (string * string) list
method backward_char : unit
method backward_line : unit
method backward_word : unit
method beginning_of_line : unit
method box : GObj.widget
method buffer_modified : bool
method buffer_name : string
method close : unit
method connect_buffer_events : unit
method copy : (unit -> unit) option
method current_line : int
method cut : (unit -> unit) option
method cut_to_selection :
?concat:[ `APPEND | `PREPEND ] ->
start:GText.iter -> stop:GText.iter -> unit -> unit
method delete_char : bool -> unit
method destroy : unit
method display_buffer_name : unit
method display_encoding : unit
method display_location : unit
method display_mode : unit
method display_modified : unit
method display_state : unit
method display_stx_mode : unit
method do_save : unit
method dup : Ed_view.topwin -> Ed_view.gui_view option
method end_of_line : unit
method file : Ed_sourceview.buffered_file
method filename : string
method forward_char : unit
method forward_line : unit
method forward_word : unit
method goto_char : int -> unit
method goto_line : int -> unit
method grab_focus : unit
method has_focus : bool
method insert : string -> unit
method key_bindings : (Okey.keyhit_state * string) list
method kill_line : append:bool -> unit
method kill_word : ?concat:[ `APPEND | `PREPEND ] -> bool -> unit
method kind : string
method label : string
method private location_in_buffer : int * int
method menus : (string * GToolbox.menu_entry list) list
method minibuffer : Ed_minibuffer.minibuffer
method my_set_label : unit
method on_cursor_moved : unit
method paste : (unit -> unit) option
method place_cursor : ?scroll:bool -> GText.iter -> unit
method redo : unit
method reload : (unit -> unit) option
method save : (unit -> unit) option
method save_as : (unit -> unit) option
method set_encoding : string option -> unit
method set_file : ?focus_in:bool -> Ed_sourceview.buffered_file -> unit
method set_label : string -> unit
method set_location : int * int -> unit
method set_mode : Ed_sourceview.mode option -> unit
method set_my_location : int * int -> 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 set_scroll_on_change : unit
method set_syntax_mode : GSourceView.source_language -> unit
method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
method source_buffer : Ed_sourceview.my_buffer
method source_view : GSourceView.source_view
method switch_line_markers : ?v:bool -> unit -> unit
method switch_line_numbers : ?v:bool -> unit -> unit
method transpose_chars : unit
method transpose_lines : unit
method transpose_words : unit
method undo : unit
method unset_scroll_on_change : unit
method update_my_location : unit
method private write_file : unit
end