Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 369960

Summary:	deleting a resource should remove it from the history of opened editors
Product:	[Eclipse Project] Platform	Reporter:	Silenio Quarti <Silenio_Quarti>
Component:	UI	Assignee:	Platform-UI-Inbox <Platform-UI-Inbox>
Status:	CLOSED DUPLICATE	QA Contact:
Severity:	normal
Priority:	P3	CC:	grant_gayed, remy.suen
Version:	4.2
Target Milestone:	---
Hardware:	PC
OS:	All
Whiteboard:

Description Silenio Quarti

2012-01-27 11:12:44 EST

4.2 stream build: I20120126-1300
- observed on solaris-x86, presumably happens on all platforms

- open various files within a project
- close all of the opened editors
- delete the project
- notice that the previously-opened files are still in the "Back to" tool item's history, which seems wrong
- pressing the "Back to" button to go back to a deleted .java file shows an error editor whose Details button shows an exception in Core
- however I think the real issue is that the workbench should not offer the user a way of attempting to open a resource that it should know is non-existent

Comment 1 Grant Gayed

2012-01-27 11:15:56 EST

I should mention that I actually logged this report, but realized too late that SSQ was left logged into Bugzilla on the machine that I used.

Comment 2 Remy Suen

2012-01-27 11:53:20 EST


*** This bug has been marked as a duplicate of bug 103730 ***