?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
method attributes : (string * string) list
method buffer : Ed_sourceview.my_buffer
method date : float option
method encoding : string option
method filename : string
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 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_syntax_mode : GSourceView.source_language -> unit
method syntax_mode : GSourceView.source_language option
method to_utf8 : string -> string
method update_date : unit
method write_file : ?fail_if_newer:bool -> unit -> unit
end