public void revealElement(final RobotElement element) {
if (dataProvider.isFilterSet() && !dataProvider.isProvided(element)) {
final String topic =
RobotSuiteEditorEvents.FORM_FILTER_SWITCH_REQUEST_TOPIC
+ "/"
+ RobotCasesSection.SECTION_NAME.replaceAll(" ", "_");
eventBroker.send(
topic, new FilterSwitchRequest(RobotCasesSection.SECTION_NAME.replaceAll(" ", "_"), ""));
}
CellEditorCloser.closeForcibly(table);
selectionProvider.setSelection(new StructuredSelection(new Object[] {element}));
setFocus();
}
public void clearSettingsSelection() {
selectionProvider.setSelection(StructuredSelection.EMPTY);
}