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