/**
* Returns all editors of the specified resource type currently open.
*
* @param resourceType A type of resource.
* @return A list of the editors of this resource type currently open.
*/
public ArrayList<AbstractEditorPanel> getEditors(ResourceType resourceType) {
ArrayList<AbstractEditorPanel> editors = new ArrayList<AbstractEditorPanel>();
for (int i = 0; i < getTabCount(); i++) {
AbstractEditorPanel editor = (AbstractEditorPanel) getComponentAt(i);
if (editor.getResourceType() == resourceType) {
editors.add(editor);
}
}
return editors;
}
