class type main_window_extension_points =This is the type of extension points for the GUI.object
..end
method ui_manager : GAction.ui_manager
<toolbar name='ToolBar'> <toolitem action='Load'/> <toolitem action='Quit'/> </toolbar>
<popup name='Contextual'> </popup>
</ui>"
Here is an example to add a menu entry "Dummy Entry" under the
File menu in object o:
(* First create the action associated to the entry ... *)
GAction.add_action "DummyAction" ~label:"Dumm_y Entry"
?stock ?tooltip ?accel
?callback
o#actions;
(* ... and merge the menu entries at the right location *)
ui_manager#add_ui_from_string
"<ui><menubar name='MenuBar'> <menu name='FileMenu'>
<menuitem action='DummyAction'/> </menu> </menubar></ui>"
method actions : GAction.action_group
method file_tree : Filetree.t
method file_tree_view : GTree.view
method toplevel : main_window_extension_points
method main_window : GWindow.window
method annot_window : GText.view
method source_viewer : GSourceView.source_view
method display_globals : Cil_types.global list -> unit
source_view
.method lower_notebook : GPack.notebook
method register_source_selector : (GMenu.menu GMenu.factory ->
main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit) ->
unit
method register_source_highlighter : (GSourceView.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 rehighlight : unit -> unit
register_source_highlighter
have been
updated.method scroll : Pretty_source.localizable -> unit
method original_source_viewer : Source_manager.t
method view_original : Cil_types.location -> unit
location
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 reset : unit -> unit
method error : 'a.
?parent:GWindow.window_skel ->
('a, Format.formatter, unit) Pervasives.format -> 'a
method protect : ?parent:GWindow.window_skel -> (unit -> unit) -> unit
method full_protect : 'b. ?parent:GWindow.window_skel -> (unit -> 'b) -> 'b 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.method push_info : 'c. ('c, Format.formatter, unit) Pervasives.format -> 'c
method pop_info : unit -> unit
method help_message : 'd 'e.
(< event : GObj.event_ops; .. > as 'd) ->
('e, Format.formatter, unit) Pervasives.format -> 'e