Description Karsten Thoms 2015-04-17 03:31:04 EDT

Steps to reproduce:
1) Start a runtime Eclipse instance
2) Create a simple project
3) Create two files in this project (e.g. test1.txt, test2.txt)
=> The editors for these files should now be opened
4) Restart Eclipse
=> The editors should now be still open
5) Close the project

The effect is that only the editor that has the focus is closed. The second editor will stay open and shows "Resource '/Test/test1.txt' does not exist."

It is expected that all editors are closed for resources of the closed project.


What I did observe is that FileDocumentProvider#createElementInfo is only called for the editor that has the focus on workbench restart. Thus, the second editor does not get a resource change event to close itself.