module Design: sig
.. end
class type reactive_buffer = object
.. end
This is the type of source code buffers that can react to global
selections and highlighters.
class type view_code = object
.. end
This class type lists all the methods available to navigate the
source code through the GUI
class protected_menu_factory : Gtk_helper.host -> GMenu.menu ->
[GMenu.menu]
GMenu.factory
class type main_window_extension_points = object
.. end
This is the type of extension points for the GUI.
class main_window : unit ->
main_window_extension_points
val register_extension : (main_window_extension_points -> unit) -> unit
Register an extension to the main GUI. It will be invoked at
initialization time.
Consult the Plugin Development Guide for additional details.
val register_reset_extension : (main_window_extension_points -> unit) -> unit
Register a function to be called whenever the main GUI reset method is
called.
val reactive_buffer : main_window_extension_points ->
?parent_window:GWindow.window ->
Cil_types.global list -> reactive_buffer
This function creates a reactive buffer for the given list of globals.
These buffers are cached and sensitive to selections and highlighters.
Since Beryllium-20090901
module Feedback: sig
.. end
Bullets at left-margins