[jbosstools-issues] [JBoss JIRA] (JBIDE-14705) In Preferences, JBoss Tools should have neutral name
Michelle Murray (JIRA)
jira-events at lists.jboss.org
Thu May 30 23:45:54 EDT 2013
Michelle Murray created JBIDE-14705:
---------------------------------------
Summary: In Preferences, JBoss Tools should have neutral name
Key: JBIDE-14705
URL: https://issues.jboss.org/browse/JBIDE-14705
Project: Tools (JBoss Tools)
Issue Type: Bug
Affects Versions: 4.1.0.Beta1
Reporter: Michelle Murray
Attachments: Server_JBTruntimedetection2.png
In Preferences there is 'JBoss Tools', under which all of the JBoss specific preferences are listed. Screen capture attached.
The name 'JBoss Tools' is JBT-centric. Could we change this to something more neutral and therefore suitable for JBDS? How about dropping 'Tools' and simply having 'JBoss'? Any other suggestions?
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira
More information about the jbosstools-issues
mailing list