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)