let selector
(popup_factory:GMenu.menu GMenu.factory)
(main_ui:Design.main_window_extension_points)
~button localizable =
match button with
| 3 -> (* Popup Menu: *)
begin
(* WP *) add_wp_menu popup_factory main_ui localizable ;
(* CFG *) add_cfg_menu popup_factory main_ui localizable ;
end
| _ -> (* Other buttons... *) ()