let add_cfg_menu
(popup_factory:GMenu.menu GMenu.factory)
(main_ui:Design.main_window_extension_points)
localizable =
match Pretty_source.kf_of_localizable localizable with
| None -> ()
| Some kf ->
let cfg_callback () = show_cfg main_ui kf in
ignore (popup_factory#add_item "CFG" ~callback:cfg_callback)