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... *) ()