[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
RE: [platform-ui-dev] Proposal to rename Project menu to Workbenc h
|
+1
Thank
you for considering it.
What
was the rational for naming the menu "project"?
Voting will end
on Monday Dec 10th.
|
| Nick Edgar
12/06/01 02:44 PM
|
To:
Randy Giffen/OTT/OTI@OTI
cc:
Subject:
[platform-ui-dev] Proposal to rename Project
menu to Workbench |
Please specify a vote end date. I suggest next Monday so we can get
the change in for Tuesday's build. ----- Forwarded by Nick Edgar/OTT/OTI on 12/06/01 02:50 PM
-----
|
| Randy_Giffen@xxxxxxx
Sent by:
platform-ui-dev-admin@xxxxxxxxxxx
12/06/01 01:42 PM
Please respond to platform-ui-dev
|
To:
platform-ui-dev@xxxxxxxxxxx
cc:
Subject:
[platform-ui-dev] Proposal to rename Project
menu to Workbench |
This is a request for committers to vote.
The
workbench menubar currently contains a "Project" menu.
The
proposal is to rename this to "Workbench"
The menu items currently
contributed to this menu by the ui ("Build" and "Rebuild All") and jdt ("Open
Type") are not scoped to a single project but rather to all projects in the
workspace. This is leading to user confusion.
With the rename to
Workbench, menu items such as Search and Preferences can move to this
menu.
Workbench is preferred over Workspace or Projects as
items in the menu may have a scope beyond the workspace (ex. Search scoped to
help documentation).
Workbench is not a new concept and already appears in
the ui (ex. Window>Open Workbench).
Theoretically, some plug-in
actions contributed to the Project menu may be scoped to the selected project.
The scope of these actions will be less apparent to the user after this change.
However, there are currently no known cases of such actions (in SDK or
Websphere).
Of course we are just changing the menu label, the
menu id will not change (in fact the menu id for the Project menu is
"workbench")
