let add_wp_menu
(popup_factory:GMenu.menu GMenu.factory)
(main_ui:Design.main_window_extension_points)
localizable =
let wp_callback () = run_and_prove main_ui localizable in
ignore (popup_factory#add_item "WP" ~callback:wp_callback)