Sourceview.sourceview
inherit Chamo.View.dyn_label
inherit Chamo.View.dyn_destroyable
inherit Chamo.View.pickable
val mutable file : buffered_file
method xml_children : Chamo.Xml.t list
method dup : Chamo.View.topwin -> Chamo.View.gui_view option
method file : buffered_file
method minibuffer : Chamo.Minibuffer.minibuffer
method select_location : location -> unit
method select_location_opt : location option -> unit
Select the given range in the buffer. The left and right parameters are character offsets in the file.
method set_file : ?focus_in:bool -> buffered_file -> unit
method set_mode : mode option -> unit
method source_buffer : my_buffer