Das EditorList-Plugin ist eine Verwaltung für Editoren in Eclipse, die Editoren in einer bequemen Ansicht darstellt. (non)