242243244245246247248249250251252
{ selectionField.setHighlight(); } else { selectionField.resetHighlight(); } } } //////////////////////////////////////////////////