Project: Eclipse_Platform_UI
Bug 19426 Editor name in tab changes
Reported: 2002-06-05 16:57:27 | Status: verified fixed

F2 1) Open a plugin.xml file using the default PDE editor 2) Open some other file 3) Exit/Restart the workbench 4) Note that the PDE editor tab says plugin.xml, click on it, its name changes to the plugin name.

Files changed in fix:
bundles/org.eclipse.ui/Eclipse UI/org/eclipse/ui/internal/EditorManager.java