}
toggleHighlighting.addSelectionListener(new SelectionListener<MenuEvent>(){
@Override
public void componentSelected(MenuEvent ce) {
matchProp.toggleHighlighting();
// switch state
if(ClientState.showHighlighting){
toggleHighlighting.setText("Deactivate Highlighting");
toggleHighlighting.setIconStyle("icon-menu-highlightingActivated");