?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