Frama-C API - popup
method on_click : (selection -> unit) -> unitmethod on_prove : (selection -> unit) -> unitmethod register : GMenu.menu GMenu.factory -> Frama_c_gui.Design.main_window_extension_points -> button:int -> Frama_c_gui.Pretty_source.localizable -> unit