let security_selector
    (popup_factory:GMenu.menu GMenu.factory) main_ui ~button localizable =
  if button = 3 && Options.is_on () then
    match localizable with
    | PStmt (_kf,ki) ->
        ignore
          (popup_factory#add_item "_Security component"
             ~callback:
             (fun () ->
                ForwardHighlighterState.set
                  (!Db.Security.get_forward_component ki);
                IndirectBackwardHighlighterState.set
                  (!Db.Security.get_indirect_backward_component ki);
                DirectHighlighterState.set 
                  (!Db.Security.get_direct_component ki);
                main_ui#rehighlight ()))
    | _ ->
        ()