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 ()))
| _ ->
()