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

[ https://issues.jboss.org/browse/JBIDE-17071?page=com.atlassian.jira.plugi... ] Martin Malina updated JBIDE-17071: ---------------------------------- Description: 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. !server-profile.png! So instead of that, I suggest just printing something like this: Profile: <profile_name> was: 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