public ResourceEditor createResourceEditor(IResource resource) {
ResourceEditor editor = new ResourceEditor();
editor.setResizable(false);
if (resource != null) {
openEditors.put(resource.getId(), editor);
openEditors2.put(editor, resource.getId());
}
editor.addWindowListener(openEditorsListener);
return editor;
}
