*
* The method is robust against adding the same IEditorPart twice.
*/
public void add(IEditorPart editorPart) {
SPath path = editorManager.editorAPI.getEditorPath(editorPart);
if (path == null) {
log.warn("Could not find path/resource for editor "
+ editorPart.getTitle());
return;
}
log.trace("EditorPool.add (" + path.toString() + ") invoked");
if (getEditors(path).contains(editorPart)) {
log.error("EditorPart was added twice to the EditorPool: "
+ editorPart.getTitle(), new StackTrace());
return;