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 : int * int * int * int * int * int * int * int
  method insert_text : GText.buffer -> unit
end