Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-ui-dev] Proposal to rename Project menu to Workbench

My vote is +1

Simon :-)



                                                                                                            
                    Randy_Giffen@xxxxxxx                                                                    
                    Sent by:                       To:     platform-ui-dev@xxxxxxxxxxx                      
                    platform-ui-dev-admin@e        cc:                                                      
                    clipse.org                     Subject:     [platform-ui-dev] Proposal to rename        
                                                   Project menu to Workbench                                
                                                                                                            
                    12/06/2001 02:52 PM                                                                     
                    Please respond to                                                                       
                    platform-ui-dev                                                                         
                                                                                                            
                                                                                                            




Voting will end on Monday Dec 10th.



                                                                           
   Nick Edgar                                                              
                         To:        Randy Giffen/OTT/OTI@OTI               
                         cc:                                               
   12/06/01              Subject:        [platform-ui-dev] Proposal to     
   02:44 PM      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:                          To:                                   
   platform-ui-dev-admin@ecl platform-ui-dev@xxxxxxxxxxx                   
   ipse.org                          cc:                                   
                                     Subject:        [platform-ui-dev]     
                             Proposal to rename Project menu to Workbench  
   12/06/01 01:42 PM                                                       
   Please respond to                                                       
   platform-ui-dev                                                         
                                                                           




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")







Back to the top