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

Bug 366049

Summary:	Switch and Restart Workspace are redundant duplicates of each other
Product:	[Eclipse Project] Platform	Reporter:	Blessed Geek <blessedgeek>
Component:	UI	Assignee:	Platform-UI-Inbox <Platform-UI-Inbox>
Status:	RESOLVED INVALID	QA Contact:
Severity:	normal
Priority:	P3
Version:	4.2
Target Milestone:	---
Hardware:	PC
OS:	All
Whiteboard:

Description Blessed Geek

2011-12-08 10:27:43 EST

Build Identifier: M20110909-1335

If there is no intention of conceding that bug 264072 is a bug, that there is no intention to not make "switch workspac"e not to ask to choose workspace,
or that the technical capability is not there to make "switch workspace" not ask to choose workspace,
then Switch Workspace and Restart Workspace are "redundant duplicates" of each other. Different only when the workspace choice is elicited.

Sticking to the eclipse principles of DIE DRY (duplication is evil, don't repeat yourself), one of Switch or Restart should be removed.


Reproducible: Always

Comment 1 Paul Webster

2011-12-08 10:40:01 EST

(In reply to comment #0)
> Build Identifier: M20110909-1335
> 
> If there is no intention of conceding that bug 264072 is a bug, 


It's an open bug with helpwanted on it.  That looks like its still a bug to me.


> Sticking to the eclipse principles of DIE DRY (duplication is evil, don't
> repeat yourself), one of Switch or Restart should be removed.

They behave differently, at least for me.

PW