[jbosstools-issues] [JBoss JIRA] (JBIDE-17071) Profile in Server Editor should not be a drop down menu

Martin Malina created JBIDE-17071: ------------------------------------- Summary: Profile in Server Editor should not be a drop down menu Key: JBIDE-17071 URL: https://issues.jboss.org/browse/JBIDE-17071 Project: Tools (JBoss Tools) Issue Type: Bug Components: server Affects Versions: 4.2.0.Beta1 Environment: JBT 4.2.0.Beta1 B105 Reporter: Martin Malina Assignee: Rob Stryker Fix For: 4.2.0.Beta2 In the past, one could change if a server is local or remote in the server editor. Now that it's no longer possible to change the profile (as it's now called) after the server is created, it is displayed as a disabled drop down menu. Since it will never be enabled, it shouldn't probably be a drop down menu at all. Also, currently this drop down menu does not have any title. So instead of that, I suggest just printing something like this: Profile: <profile_name> -- 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