Project: Eclipse_Platform_UI
Bug 114302 [EditorMgmt] improve API doc EditorInput#getName should never return null
Reported: 2005-10-29 15:01:47 | Status: verified fixed

checked by PartTester#testEditorInput(IEditorInput)

Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/IEditorInput.java