?attributes:(string * string) list ->
?loc:int * int ->
name:string ->
filename:string ->
Ed_sourceview.my_buffer ->
object
val buffer : Ed_sourceview.my_buffer
val mutable date : float option
val mutable encoding : string option
val mutable filename : string
val mutable location : int * int
val mutable mode : Ed_sourceview.mode option
val mutable name : string
val mutable source_marks : (string * GSourceView2.source_mark) list
method add_source_mark : string * GSourceView2.source_mark -> unit
method attributes : (string * string) list
method buffer : Ed_sourceview.my_buffer
method date : float option
method encoding : string option
method filename : string
method line_offset_from_line_in_file : int -> int
method load_file : string -> unit
method location : int * int
method mode : Ed_sourceview.mode option
method mode_from_display : string -> string
method mode_key_bindings : (Okey.keyhit_state * string) list
method mode_menus : (string * GToolbox.menu_entry list) list
method mode_name : string option
method mode_to_display : string -> string
method name : string
method newer_file_exists : bool
method of_utf8 : string -> string
method range_from_range_in_file : left:int -> right:int -> int * int
method select_location : Ed_sourceview.location -> unit
method select_range_in_file : left:int -> right:int -> unit
method set_date : float option -> unit
method set_encoding : string option -> unit
method set_filename : string -> unit
method set_location : int * int -> unit
method set_mode : Ed_sourceview.mode option -> unit
method set_name : string -> unit
method set_source_marks : (string * GSourceView2.source_mark) list -> unit
method set_syntax_mode : GSourceView2.source_language option -> unit
method source_marks : (string * GSourceView2.source_mark) list
method syntax_mode : GSourceView2.source_language option
method to_utf8 : string -> string
method update_date : unit
method update_source_marks : unit
method write_file : ?fail_if_newer:bool -> unit -> unit
end