let selector (popup_factory:GMenu.menu GMenu.factory)
(main_ui:Design.main_window_extension_points)
~button localizable =
if button = 3 then
begin
let kf_opt = match get_kf_stmt_opt localizable with
| None -> None
| Some (kf, _stmt, _annot_opt) ->
let cfg_callback () = show_cfg main_ui true kf in
ignore (popup_factory#add_item "CFG"
~callback:(fun () -> main_ui#protect cfg_callback));
Some kf
in
let wp_callback () = run_and_prove main_ui kf_opt in
ignore (popup_factory#add_item "WP"
~callback:(fun () -> main_ui#protect wp_callback))
end