Module Frama_c_gui.Source_managerSource

The source viewer multi-tabs widget window.

Sourcetype t
Sourceval selection_locked : bool ref

Prevents the filetree callback from resetting the selected line when it was selected via a click in the original source viewer.

Sourceval make : ?tab_pos:Gtk.Tags.position -> ?packing:(GObj.widget -> unit) -> unit -> t
Sourceval load_file : t -> ?title:string -> filename:Frama_c_kernel.Filepath.t -> ?line:int -> click_cb:(Pretty_source.localizable option -> unit) -> unit -> unit

If line is 0 then the last line of the text is shown. If line is less that 0 then no scrolling occurs (default). If title is not provided the page title is the filename. click_cb is a callback called whenever the user clicks on the original source code. This callback is given the localizable that the user clicked on, if any was found. This localizable is estimated from a reverse mapping from the original source to the Cil source, and not always exact.

Sourceval select_file : t -> Frama_c_kernel.Filepath.t -> unit

Selection by page filename

Sourceval select_name : t -> string -> unit

Selection by page title

Sourceval get_current_source_view : t -> GSourceView.source_view

Returns the source viewer for the currently displayed tab

Sourceval clear : t -> unit

Remove all pages added by load_file