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)