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