Design.main_window_extension_points ->
object
val mutable fct_to_check : Cil_types.global
method cyclo_selector :
GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit
method display_localizable : Pretty_source.localizable -> unit -> unit
method do_cyclo : Design.main_window_extension_points -> unit
method get_data : Metrics_base.my_metrics
method insert_text : GText.buffer -> unit
end