class type main_window_extension_points =This is the type of extension points for the GUI.object
..end
method toplevel : main_window_extension_points
unit -> Menu_manager.menu_manager
: method file_tree : Filetree.t
method file_tree_view : GTree.view
method main_window : GWindow.window
method annot_window : GText.view
pretty_information
.method pretty_information : 'a. ('a, Format.formatter, unit) Pervasives.format -> 'a
annot_window
.method lower_notebook : GPack.notebook
method source_viewer : GSourceView2.source_view
method display_globals : Cil_types.global list -> unit
source_view
.method reactive_buffer : reactive_buffer option
method original_source_viewer : Source_manager.t
method view_stmt : Cil_types.stmt -> unit
stmt
in the source_viewer
and in the
original_source_viewer
method view_original_stmt : Cil_types.stmt -> Cil_types.location
stmt
in the original_source_viewer
method view_original : Cil_types.location -> unit
location
in the original_source_viewer
method launcher : unit -> unit
method error : 'b.
?parent:GWindow.window_skel ->
('b, Format.formatter, unit) Pervasives.format -> 'b
method register_source_selector : (GMenu.menu GMenu.factory ->
main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit) ->
unit
method register_source_highlighter : (GSourceView2.source_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit) ->
unit
Gtext.tags
is used to decide which tag is rendered on
top of the other.method register_panel : (main_window_extension_points ->
string * GObj.widget * (unit -> unit) option) ->
unit
register_panel f
registers a panel in GUI.
f self
returns the name of the panel to create,
the widget containing the panel and a function to be called on
refresh.method reset : unit -> unit
method rehighlight : unit -> unit
register_source_highlighter
have been
updated.method scroll : Pretty_source.localizable -> unit
method protect : cancelable:bool -> ?parent:GWindow.window_skel -> (unit -> unit) -> unit
Set cancelable to true
if the protected action should be cancellable
by the user through button `Stop'.
method full_protect : 'c.
cancelable:bool -> ?parent:GWindow.window_skel -> (unit -> 'c) -> 'c option
f ()
.
The parent window must be set if this method is not called directly
by the main window: it will ensure that error dialogs are transient
for the right window.
Set cancelable to true
if the protected action should be cancellable
by the user through button `Stop'.
method push_info : 'd. ('d, Format.formatter, unit) Pervasives.format -> 'd
method pop_info : unit -> unit
method help_message : 'e 'f.
(< event : GObj.event_ops; .. > as 'e) ->
('f, Format.formatter, unit) Pervasives.format -> 'f