Class Ed_sourceview.buffered_file


class buffered_file : ?attributes:(string * string) list -> ?loc:int * int -> name:string -> filename:string -> my_buffer -> object .. end

val buffer : my_buffer
val mutable date : float option
val mutable encoding : string option
val mutable filename : string
val mutable location : int * int
val mutable mode : mode option
val mutable name : string
method attributes : (string * string) list
method buffer : my_buffer
method date : float option
method encoding : string option
method filename : string
method location : int * int
method mode : mode option
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_from_display : string -> string
method mode_to_display : string -> string
method name : string
method set_date : float option -> unit
method set_encoding : string option -> unit
method set_filename : string -> unit
method of_utf8 : string -> string
method to_utf8 : string -> string
method set_location : int * int -> unit
method set_mode : mode option -> unit
method set_name : string -> unit
method set_syntax_mode : GSourceView.source_language -> unit
method syntax_mode : GSourceView.source_language option
method update_date : unit
update date with the last modification date of the file
method load_file : string -> unit
method newer_file_exists : bool
Return whether the file was modified since last loaded or written by chamo.
method write_file : ?fail_if_newer:bool -> unit -> unit
Raises Newer_file_exists filename if the file on disk has been written since chamo loaded or wrote it.
fail_if_newer : indicates whether to raise Newer_file_exists. Default if false.