let wp_select
    (popup_factory:GMenu.menu GMenu.factory)
    (main_ui:Design.main_window_extension_points)
    ~button localizable =
  match button with
    | 3 -> (* Popup Menu: *)
        add_wp_menu  popup_factory main_ui localizable ;
        add_rte_menu popup_factory main_ui localizable ;
    | _ -> (* Other buttons... *) ()