This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.

Bug 149122 - Rename Tools menu to Resources?
Summary: Rename Tools menu to Resources?
Status: NEW
Alias: None
Product: ide
Classification: Unclassified
Component: UI (show other bugs)
Version: 6.x
Hardware: All All
: P3 blocker (vote)
Assignee: issues@ide
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-10-03 20:26 UTC by ivan
Modified: 2011-01-28 08:53 UTC (History)
3 users (show)

See Also:
Issue Type: ENHANCEMENT
Exception Reporter:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description ivan 2008-10-03 20:26:34 UTC
I always felt the Tools menu was misnamed. If you choose it
what it contains is mostly lists of things. Platforms, Variables,
Libraries, Schemas, Options ... all of them end in the plural 's.

Calling a menu "Lists" would be be precise but too funny. 

But when I was adding a DataBase of remote hosts for remote debugging
functionality it seemed very natural to add "Hosts" item to the
Tools menu and then it hit me ... it should be called Resources.
Comment 1 Petr Chytil 2008-10-06 07:38:50 UTC
Jano, please, could you evaluate this one?
Comment 2 jrojcek 2008-10-07 17:56:10 UTC
This is a very good comment. The Tools menu has really changed to collection of resources. Whether to call it really Resources is TBD.
Comment 3 Marian Mirilovic 2009-11-25 01:32:54 UTC
Ondra, what do you think about this ?
Comment 4 Vladimir Voskresensky 2009-11-26 03:20:56 UTC
I agree, it's worth to make improvements in Tools area. 
See https://netbeans.org/bugzilla/show_bug.cgi?id=104036 with my proposal how to improve the situation as well.
Comment 5 Ondrej Langr 2009-11-26 05:40:16 UTC
Yes, it is a good comment. 

Most of items in this menu really do fit better under resources than under tools. 

As for disadvantages: "resources" is slightly longer and our current users are already used to "tools" .. so this may cause a little bit confusion to them (which is of course typical argument against any change whatsoever ;-) ). 

I don't see any "cheap" method of evaluating which name is better. We could perform card-sorting, but it'd cost an unappropriate amount of resources for such a small change not even bugging anyone. 

We could probably just try in early development builds and wait for feedback, though.
Comment 6 Ondrej Langr 2010-01-12 04:16:14 UTC
This is an enhancement, not bug.