}
if(editor.isReachabilityEnabled()){ // is editor already added to RGVC ??
toAdd.updatePanelsVisibility(editor);
} else {
toAdd.addEditor(editor);
toAdd.refreshGraph(AbstractReachabilityGraphModel.HIERARCHIC);
}
// dui.getToolBar().getReachabilityGraphButton().setEnabled(false);
}
}
LoggerManager.debug(Constants.QUALANALYSIS_LOGGER, "<- processViewEvent " + this.getClass().getName());